Lógica Proposicional – Negação de Condicional
Gabarito: Certo. A negação de "Se (atacou o animal e ficou provado), então (ele responderá)" é corretamente expressa por "Ele atacou o animal e ficou provado, mas ele não respondeu", conforme a regra de negação da condicional: ~(p→q) ≡ p ∧ ~q.
A proposição P pode ser representada como (p ∧ q) → r, onde:
p: "Ele atacou o animal"
q: "Ficou provado"
r: "Ele responderá"
A negação de uma condicional é obtida mantendo-se o antecedente verdadeiro e negando-se o consequente. Assim, ~[(p∧q)→r] ≡ (p∧q) ∧ ~r. A frase "Ele atacou o animal e ficou provado, mas ele não respondeu" corresponde exatamente a (p∧q) ∧ ~r, já que "mas" é um conectivo de conjunção equivalente a "e".
Portanto, a afirmação da questão está correta.
Gabarito: Certo.
MNEMÔNICOMANÉ [MANtém a primeira e NEga a segunda]
MANMANtém a primeira proposiçãoNENEga a segunda proposição. Ex.: a negação de 'Se chover, então levo o guarda-chuva' é 'Chove E eu NÃO levo o guarda-chuva'. Resultado: P→Q negado = P ∧ ~Q