Se Maria corre atrás de José, então José vai ao clube. Se Jo...

TABELA” ---->” Se...Então

VV=V

VF=F

FV=V

FF=F

As proposições partem do pressuposto que são verdadeiras (V), com isso é só aplicar a tabela!

Se Maria corre atrás de José, então José vai ao clube. (v)

                         F                                          F

Se José vai ao clube, então Tadeu vai ao mercado. (v)

                      F                                  F

Se Tadeu vai ao mercado, então Raquel corre atrás de Tadeu. (v)

                    F                                        F

Ora, Raquel não corre atrás de Tadeu. (v)

                        V

As alternativas apresentam proposições com a conjunção “e”, assim, as duas proposições têm que ser verdadeiras para que a conclusão também seja verdadeira.

Tabela “^” e

VV=V

VF=F

FV=F

FF=F

GAB: A

Veja a última afirmação: Raquel não corre atrás de Tadeu. Sabemos que é verdadeira, logo R correr atrás de T é falso........ e assim vamos comparando de até o início da oração, sendo que quando tiver o conectivo ENTAO - sem um é falso, outro também será.

Decompondo as proposições:

A: Se Maria corre atrás de José (p), então José vai ao clube (q).
B: Se José vai ao clube (q), então Tadeu vai ao mercado (r).
C: Se Tadeu vai ao mercado (r), então Raquel corre atrás de Tadeu (s).
D: Raquel não corre atrás de Tadeu (~s).

Traduzindo para o "logiquês":

A: p -> q
B: q -> r
C: r -> s
D: ~s, que é verdadeira.

Como ~s é V, e a equivalência de C é ~s -> ~r, para que C seja verdade, ~r também é V, pois V -> V = V.
Como ~r é V, e a equivalência de B é ~r -> ~q, seguindo a mesma lógica, ~q é V.
Como ~q é V, e a equivalência de A é ~q -> ~p, ~p é V.

Com isso, temos que Raquel não corre atrás de Tadeu, Tadeu não vai ao mercado, José não vai ao clube e Maria não corre atrás de José.

A