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.