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
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