Lógica‎ > ‎

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:

J

C

A

T

(J

&

C)

~

(A

&

T),

~

T

J

V

V

V

V

V

V

V

F

F

V

V

V

F

V

 

V

V

V

V

F

V

V

V

V

V

V

F

F

V

F

 

V

V

V

F

V

V

V

V

V

V

F

F

V

F

V

 

V

V

V

F

F

V

V

V

V

V

F

F

F

V

F

 

V

V

F

V

V

V

F

F

F

F

V

V

V

F

V

 

V

V

F

V

F

V

F

F

F

V

V

F

F

V

F

 

V

V

F

F

V

V

F

F

F

V

F

F

V

F

V

 

V

V

F

F

F

V

F

F

F

V

F

F

F

V

F

 

V

F

V

V

V

F

F

V

F

F

V

V

V

F

V

 

F

F

V

V

F

F

F

V

F

V

V

F

F

V

F

 

F

F

V

F

V

F

F

V

F

V

F

F

V

F

V

 

F

F

V

F

F

F

F

V

F

V

F

F

F

V

F

 

F

F

F

V

V

F

F

F

F

F

V

V

V

F

V

 

F

F

F

V

F

F

F

F

F

V

V

F

F

V

F

 

F

F

F

F

V

F

F

F

F

V

F

F

V

F

V

 

F

F

F

F

F

F

F

F

F

V

F

F

F

V

F

 

F

 

Analise da Tabela Verdade

Primeira Premissa

Segunda Premissa

Conclusão

 

Argumento

F

F

V

Válido

V

V

V

Válido

V

F

V

Válido

V

V

V

Válido

F

F

V

Válido

F

V

V

Válido

F

F

V

Válido

F

V

V

Válido

F

F

F

Válido

F

V

F

Válido

F

F

F

Válido

F

V

F

Válido

F

F

F

Válido

F

V

F

Válido

F

F

F

Válido

F

V

F

Válido

 

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

C

N

(C

v

N),

~

C

~

N

V

V

V

V

V

F

V

 

F

V

V

F

V

V

F

F

V

 

V

F

F

V

F

V

V

V

F

 

F

V

F

F

F

F

F

V

F

 

V

F

 

Analise da Tabela Verdade

Primeira Premissa

Segunda Premissa

Conclusão

Argumento

V

F

F

Válido

V

F

V

Válido

V

V

F

Inválido

F

V

V

Válido

 

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

C

J

R

R

~

(C

v

J),

R

 

~

J

V

V

V

V

F

F

V

V

V

V

 

F

V

V

V

F

F

V

F

V

V

V

F

 

F

V

V

F

V

V

F

F

V

V

F

V

 

V

F

V

F

F

F

V

F

V

V

F

F

 

V

F

F

V

V

V

F

F

F

V

V

V

 

F

V

F

V

F

F

V

F

F

V

V

F

 

F

V

F

F

V

V

V

V

F

F

F

V

 

V

F

F

F

F

F

V

V

F

F

F

F

 

V

F

 

Analise da Tabela Verdade

Primeira Premissa

Segunda Premissa

Conclusão

Argumento

F

V

F

Válido

V

F

F

Válido

F

V

V

Válido

V

F

V

Válido

F

V

F

Válido

V

F

F

Válido

V

V

V

Válido

V

F

V

Válido

 

Conclusão:

O argumento é válido.

 

Comments