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: