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.