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: