Fórmula consistent
De Wikisofia
La revisió el 01:03, 5 feb 2015 per Sofibot (discussió | contribucions) (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...».)
La revisió el 01:03, 5 feb 2015 per Sofibot (discussió | contribucions) (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...».)
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.
