Abaixo são apresentadas três proposições lógicas:
1. (p → q) ↔ (~p ∨ q)
2. (p ∧ q) → (p ∨ q)
3. (p ∨ q) → ~(p ∨ q)
Com base na tabela-verdade de cada uma delas, fazemos as seguintes afirmações:
I. A proposição (1) é uma tautologia.
II. A proposição (2) é uma contradição.
III. A proposição (3) é uma contingência.
Assim, podemos dizer que:
