fórmula consistent LÓG.

Una fórmula és consistent si i només si té almenys una interpretació (en un domini no buit) que la fa vertadera (veure exemple), o és vertadera almenys per a una assignació de valors de veritat.

Aquesta obra està sota una llicència de Creative Commons.