Lógica

[Joseilson]

Alguém poderia me ajudar a resolver esse problema de lógica matemática?
Verificar se o seguinte argumento é válido.
Se o jardim não é florido então o gato mia.
Se o jardim é florido então o passarinho não canta.
O passarinho canta.
Logo, o jardim é florido e o gato mia.
forma simbólica:
s:[(p→q)^(~p → ~q)^r] → (~p^q)

gabarito: o argumento não é válido.

[Bruno Bonagura]

p→q é equivalente a ~q→~p

Então:
Se o jardim é florido então o passarinho não canta.

É equivalente a:
Se o passarinho canta, então o jardim não é florido.

Logo a afirmação correta seria:
O jardim não é florido e gato mia.