(ESAF-2015) Dizer que “Se Marco é marinheiro, então Miriam é mãe” equivale a dizer que a) se Miriam é mãe, Marco não é marinheiro. b) se Marco não...

A resposta correta é a letra B) se Marco não é marinheiro, então Miriam não é mãe. A proposição "Se Marco é marinheiro, então Miriam é mãe" é uma implicação lógica, que pode ser escrita como "p → q", onde p é a afirmação "Marco é marinheiro" e q é a afirmação "Miriam é mãe". A negação dessa implicação é "p ∧ ¬q", ou seja, "Marco é marinheiro e Miriam não é mãe". Portanto, a letra E) está incorreta. A letra A) também está incorreta, pois a negação de "p → q" é "p ∧ ¬q", e não "¬p → ¬q". A letra C) também está incorreta, pois não podemos concluir que se Miriam não é mãe, então Marco não é marinheiro. A letra D) está incorreta, pois a implicação "p → q" não implica que "p ∨ q" seja verdadeira.