Diferència entre revisions de la pàgina «Fórmula consistent»
De Wikisofia
(Es crea la pàgina amb «{{ConcepteWiki}} Una fórmula és consistent si i només si té almenys una interpretació (en un domini no buit) que la fa veritable, o...».) |
m (Text de reemplaçament - "[[Image:I" a "[[Image:e") |
||
| Línia 12: | Línia 12: | ||
<center>és una fórmula consistent</center> | <center>és una fórmula consistent</center> | ||
| − | <center>[[Image: | + | <center>[[Image:e5010-2.png|400px]]</center> |
[[Recurs:Exemple lògic de fórmula consistent]] | [[Recurs:Exemple lògic de fórmula consistent]] | ||
Revisió de 16:10, 25 abr 2015
Una fórmula és consistent si i només si té almenys una interpretació (en un domini no buit) que la fa veritable, o és veritable almenys per una assignació de valors de veritat.
Tota tautologia és, per tant, una fórmula consistent, però no al revés.
