Exercı́cio 3.24: Verifique quais das seguintes afirmações são corretas: a) (p→ (q ∨ r)) implica logicamente em (p→ q). b) (p→ q) implica logicam...

Vamos analisar cada alternativa: a) (p→ (q ∨ r)) implica logicamente em (p→ q). Essa afirmação é correta. A implicação lógica é preservada nesse caso. b) (p→ q) implica logicamente em (r ∧ p→ q). Essa afirmação está incompleta. Não é possível avaliar a correção sem a continuação da expressão. c) ((p ∨ q)→ r) implica logicamente em (p→ r). Essa afirmação é correta. A implicação lógica é preservada nesse caso. d) ((p→ q) ∧ ¬p) implica logicamente em ¬q. Essa afirmação é correta. A implicação lógica é preservada nesse caso. e) (p↔ q) implica logicamente em (p→ q). Essa afirmação está incorreta. A bicondicionalidade não implica a implicação condicional. f) (p→ q) implica logicamente em (p↔ q). Essa afirmação está incorreta. A implicação condicional não implica a bicondicionalidade. g) (p→ q) implica logicamente em q. Essa afirmação está incorreta. A implicação condicional não implica a conclusão direta. h) (p ∨ q) ∧ (¬p ∨ r) implica logicamente em (q ∨ r). Essa afirmação é correta. A implicação lógica é preservada nesse caso. i) (p→ q) ∧ (q→ r) implica logicamente em (p→ r). Essa afirmação é correta. A implicação lógica é preservada nesse caso. Espero que isso ajude!