p: Márcio vai ao Shopping
q: Marta fica em casa
r: Martinho vai ao Shopping
s: Mario fica em casa
(p → q)^(q → r)^(r → s)^(~s)
"~s" é verdade, o que faz "s" ser falso. Assim:
(p → q)^(q → r)^(r → F)^(V)
"r" tem que ser falso para que (r → F) seja verdadeiro.
(p → q)^(q → F)^(F → F)^(V)
"q" tem que ser falso para que (q → F) seja verdadeiro.
(p → F)^(F → F)^(F → F)^(V)
"p" deve ser falso para que (p → F) seja verdadeiro.
Então, que p, q, r e s são falsos, ou seja, Márcio não foi ao shopping, Marta não ficou em casa, Martinho não foi ao shopping e Mario não ficou em casa.
