Lógica‎ > ‎

Verificação de Argumento - Bicondicional I

Artur Júnior dos Santos Lopes

Para verificarmos a validade do argumento utilizaremos a técnica da Tabela Verdade.

Argumento:
Claudia irá à festa se e somente se Lúcia não for.
Lúcia não foi à festa.
Portanto Cláudia foi à festa.

Realizando a formalização e a utilização de uma tabela verdade poderemos verificar se o argumento é válido ou não.
Podemos formalizar o argumento utilizando as letras sentenciais da seguinte maneira:
C – Cláudia irá à festa;
L – Lúcia irá à festa;

Assim o argumento pode ser formalizado como segue:
C ↔ ~L, ~L Ⱶ C

A tabela verdade será:

C

L

C

~

L,

~

L

C

V

V

V

F

F

V

F

V

 

V

V

F

V

V

V

F

V

F

 

V

F

V

F

V

F

V

F

V

 

F

F

F

F

F

V

F

V

F

 

F


Verificando a validade do argumento:

A condição para que um argumento seja inválido é a de que uma vez que as premissas são verdadeiras a conclusão não pode ser falsa. Comparando o resultado das duas premissas temos nas quatro combinações possíveis temos:

Primeira premissa

Segunda premissa

Conclusão

Resultado

F

F

V

Válido

V

V

V

Válido

V

F

F

Válido

F

V

F

Válido


Logo, através da utilização tabela verdade, foi possível concluir que o argumento é válido.

Porto Alegre, 30 de Outubro de 2014.
Comments