Exercı́cio 3.9: Considere que p, ¬q e r são proposições verdadeiras. Verifique quais das afirmações são verdadeiras. a) p→ q. b) q→ p. c) ...

Vamos analisar cada uma das afirmativas: a) p→ q: Verdadeiro, pois se p é verdadeiro e q é verdadeiro, ou se p é falso, a implicação é verdadeira. b) q→ p: Falso, pois a implicação só é verdadeira se q for falso ou se p for verdadeiro. c) p→ (q ∨ r): Verdadeiro, pois se p for falso, a implicação é verdadeira, independentemente de q ∨ r. d) p↔ q: Falso, pois a bicondicional só é verdadeira se p e q tiverem o mesmo valor lógico. e) p↔ r: Falso, pois a bicondicional só é verdadeira se p e r tiverem o mesmo valor lógico. f) (p ∨ q)→ p: Verdadeiro, pois se p ∨ q for verdadeiro, então p é verdadeiro. g) (p ∧ q)→ q: Verdadeiro, pois se p ∧ q for verdadeiro, então q é verdadeiro. Espero que isso ajude!