Fórmula consistent
De Wikisofia
La versió per a impressora ja no és compatible i pot tenir errors de representació. Actualitzeu les adreces d'interès del navegador i utilitzeu la funció d'impressió per defecte del navegador.
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.