Demonstre a validade do seguinte argumento: Se o jardim não é florido, então o gato mia. Se o jardim é
Demonstre a validade do seguinte argumento:Se o jardim não é florido, então o gato mia. Se o jardim é florido, então o passarinho não canta.
Ora, o passarinho canta. Portanto, o gato mia.
Simbolizando estas proposições:
p: o jardim é florido.
q: o gato mia.
r: o passarinho canta.
Considerando, então, expressar o argumento anterior desta forma: ~p q, p ~r, r Ⱶ q
Qual é a demonstração CORRETA para este argumento?
A)
(1): p q
(2): p ~r
(3): r
De (3) e (2) usando MT, conclui-se (6) ~p
De (6) e (1) usando MP, conclui-se (7) q
Ficou provado, então, q: o gato mia
B)
(1): ~p ↔ q
(2): p r
(3): r
De (3) e (2) usando MT, conclui-se (6) ~p
De (6) e (1) usando MP, conclui-se (7) q
Ficou provado, então, q: o gato mia
C)
(1): ~p q
(2): p ↔ ~r
(3): r
De (3) e (2) usando MP, conclui-se (6) ~p
De (6) e (1) usando MP, conclui-se (7) q
Ficou provado, então, q: o gato mia
D)
(1): ~p ↔ q
(2): p ↔ ~r
(3): r
De (3) e (2) usando MT, conclui-se (6) ~p
De (6) e (1) usando MT, conclui-se (7) q
Ficou provado, então, q: o gato mia
E)
(1): ~p q
(2): p ~r
(3): r
De (3) e (2) usando MT, conclui-se (6) ~p
De (6) e (1) usando MP, conclui-se (7) q
Ficou provado, então, q: o gato mia
Alexandre está aguardando sua ajuda, Clique aqui para responder.