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:
