Diferència entre revisions de la pàgina «Exemple conseqüència lògica - deduïbilitat»
De Wikisofia
(Es crea la pàgina amb «{{RecursWiki |Tipus=Exemple }} {{RecursoEnlace |Enllaç= }} {{Multimèdia |Upload Type= |File= |Embed= }} {{RecursBase |Nom=Exemple conseqüència lògica...».) |
(Cap diferència)
|
Revisió del 10:17, 5 feb 2015
Plantilla:RecursoEnlace Plantilla:Multimèdia
La relació entre el concepte de conseqüència lògica i el de deducibilidad 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]
