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á:

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:

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

Porto Alegre, 30 de Outubro de 2014.