1) Teste a validade dos seguintes argumentos:

A) Se chove, então faz frio. Não choveu. Logo, não faz frio.

B) Se chove então faz frio. Não faz frio. Logo, não chove.

C) Se o jardim não é florido, então o gato mia. O gato não mia. Logo, o jardim é florido.

D) Se o jardim não é florido então o gato não mia. O jardim é florido. Logo, o gato mia.

E) Se o jardim não é florido então o gato mia. Se o jardim é florido então o passarinho canta. O passarinho canta. Logo, o jardim é florido e o gato mia.

2) Sabendo-se ( ~p; q ^ r; s → t ├ ~t ) forma um argumento válido, o que se pode dizer sobre os valores lógicos das proposições p, q, r ,s, t, respectivamente, nesta ordem?
(a) FVVFF (b) FFFVV (c) VVFFF (d) FFFFF (e) VVVVV

3) Ana é prima de Bia, ou Carlos é filho de Pedro. Se Jorge é irmão de Maria, então Breno não é neto de Beto. Se Carlos é filho de Pedro, então Breno é neto de Beto. Ora, Jorge é irmão de Maria. Logo:
a) Carlos é filho de Pedro ou Breno é neto de Beto.
b) Breno é neto de Beto e Ana é prima de Bia.
c) Ana não é prima de Bia e Carlos é filho de Pedro.
d) Jorge é irmão de Maria e Breno é neto de Beto.
e) Ana é prima de Bia e Carlos não é filho de Pedro.

4) André é inocente ou Beto é inocente. Se Beto é inocente, então Caio é culpado. Caio é inocente se e somente se Dênis é culpado. Ora, Dênis é culpado. Logo:
a) Caio e Beto são inocentes.
b) André e Caio são inocentes.
c) André e Beto são inocentes.
d) Caio e Dênis são