Verificação da validade dos argumentos

Primeiro argumento

Joana e Carlos vão a festa se Antônia e Tadeu não forem.

Tadeu não foi à festa.

Portanto Joana foi à festa.

Formalizando:

Letras sentenciais:

J – Joana vai à festa

C – Carlos vai à festa

A – Antônia vai à festa

T – Vai à festa

Argumento formalizado

(J & C) → ~(A & T), ~T Ⱶ J

Tabela verdade:

Analise da Tabela Verdade

Conclusão:

O argumento é válido.

Segundo Argumento

Ou chove ou neva.

Chove.

Portanto não neva.

Formalizando:

Letras sentenciais:

C – Chove

N – Neva

Argumento formalizado:

(C v N), ~C Ⱶ ~N

Tabela Verdade

Analise da Tabela Verdade

Conclusão:

Como temos um conclusão falsa a partir de premissas verdadeiras (linha 3) o argumento é inválido.

Terceiro Argumento:

Nem Carlos nem Joana vão ao cinema se Ramiro for ao cinema.

Ramiro foi ao cinema.

Portanto Joana não foi ao cinema.

Formalizando:

Letras sentenciais:

C – Carlos vai ao cinema

J – Joana vai ao cinema

R – Ramiro vai ao cinema

Argumento formalizado:

R → ~(C v J), R Ⱶ ~J

Tabela Verdade

Analise da Tabela Verdade

Conclusão:

O argumento é válido.