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...».) |
|||
| (2 revisions intermèdies per un altre usuari que no es mostra) | |||
| Línia 1: | Línia 1: | ||
{{RecursWiki | {{RecursWiki | ||
|Tipus=Exemple | |Tipus=Exemple | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
}} | }} | ||
{{RecursBase | {{RecursBase | ||
| Línia 16: | Línia 8: | ||
{{Exemple}} | {{Exemple}} | ||
| − | La relació entre el concepte de conseqüència lògica i el de | + | La relació entre el concepte de conseqüència lògica i el de deduïbilitat es precisa de la següent manera |
<math>A_1, A_2, ... A_n \models B</math> si, i només si <math>A_1, A_2, ... A_n \vdash B</math>, | <math>A_1, A_2, ... A_n \models B</math> si, i només si <math>A_1, A_2, ... A_n \vdash B</math>, | ||
| Línia 23: | Línia 15: | ||
| − | [[File: | + | [[File:e764.gif]] |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
{{InfoWiki}} | {{InfoWiki}} | ||
Revisió de 13:46, 5 set 2015
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]
