Diferència entre revisions de la pàgina «Exemple conseqüència lògica - deduïbilitat»
De Wikisofia
m (Text de reemplaçament - "deducibilidad" a "deduïbilitat") |
m (Text de reemplaçament - "File:i" a "File:e") |
||
| Línia 23: | Línia 23: | ||
| − | [[File: | + | [[File:e764.gif]] |
{{Propietat | {{Propietat | ||
|Propi=No | |Propi=No | ||
Revisió del 15:40, 25 abr 2015
Plantilla:RecursoEnlace Plantilla:Multimèdia
La relació entre el concepte de conseqüència lògica i el de deduïbilitat es precisa de la següent manera
[math]\displaystyle{ A_1, A_2, ... A_n \models B }[/math] si, i només si [math]\displaystyle{ A_1, A_2, ... A_n \vdash B }[/math],
o bé , suposant [math]\displaystyle{ A_1, A_2, ... A_n = \Delta }[/math] i [math]\displaystyle{ B = \beta }[/math]
