Questão de Raciocínio Lógico

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