P ∨ ¬P
P ∧ ¬P
P ∧ ¬P
Há certas proposições compostas, chamadas de tautologias, que assumem valores lógicos V em todos os casos possíveis. E também ocorre o oposto: certas proposições compostas, chamadas de contradições, assumem valores lógicos F em todos os casos. O meio termos entre os dois casos anteriores são chamadas contingências.