Abaixo são apresentadas três proposições lógicas:


1. (???)?(~???)

2. (???)?(???)

3. (???)?~(???)


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: