Em cada alternativa abaixo há um par de sentenças. Marque aquela em que a primeira não implica logicamente
Em cada alternativa abaixo há um par de sentenças. Marque aquela em que a primeira não implica logicamente a segunda. a.
(p → q) ↔ (p → r) e p → (q → r)
b.
(q ↔ r) ∧ (p ↔ q) e p → r
c.
(p ↔ r) → q e (p ∧ ¬r) → ¬q
d.
p e (¬p ∧ q) → (¬p ∧ ¬q)
(p → q) ↔ (p → r) e p → (q → r)
b.
(q ↔ r) ∧ (p ↔ q) e p → r
c.
(p ↔ r) → q e (p ∧ ¬r) → ¬q
d.
p e (¬p ∧ q) → (¬p ∧ ¬q)
1 Resposta
A resposta está pronta!
Clique no botão abaixo para ver a resolução completa e detalhada desta questão.
Mostrar RespostaMais perguntas de Lógica
Carregando...