Tautologia(V) é uma proposição cujo valor lógico é sempre verdadeiro.
Contradição(^)é uma proposição cujo valor lógico é sempre falso.
Quando uma proposição não é tautológica nem contraválida, a chamamos de contingência ou proposição contingente ou proposição indeterminada.
Contradição(^)é uma proposição cujo valor lógico é sempre falso.
Quando uma proposição não é tautológica nem contraválida, a chamamos de contingência ou proposição contingente ou proposição indeterminada.