Cunha, no seu livro intitulado “Lógica e Conjuntos”, aborda, no último tópico da Aula 5, os tipos de demonstrações em Matemática, associando a elas implicação ou equivalências lógicas.

Considere a seguinte implicação e as seguintes equivalências lógicas:

(I) P ⇒ Q;
(II) P → Q ⇔ ~Q → ~P
(III) P → Q ⇔ (P ∧ ~Q) → ~P

O contido em (I), (II) e (III) podem corretamente ser associados às demonstrações