Questão
ID 60374Disciplina: Raciocínio Lógico
Assunto: Implicações Lógicas
Ano: 2025 Banca: VUNESP - Fundação para o Vestibular da Universidade Estadual Paulista Órgão: Secretaria da Educação do Estado de São Paulo
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