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)

1 Resposta

  • Kauany

    a

    Explicação:

Clique aqui para adicionar a sua resposta.