Podemos verificar a validade ou não validade de um argumento utilizando tabelas-verdade e pesquisando se a tabela-verdade para as premissas e a conclusão apresenta em alguma de suas linhas os valores lógicos, na ordem, VF.

Considere o argumento:

Premissa 1:

Premissa 2: 

Conclusão: 

Assinale a alternativa correta.

Alternativas:

• a)
• Este argumento é válido pois a conclusão sempre é verdadeira
• b)
• O argumento não é válido pois existe ao menos uma linha na tabela-verdade para as premissas e a conclusão para a qual as premissas assumem valor lógico verdadeiro e a conclusão assume valor lógico falso.
• c)
• O argumento não é válido pois não existem linhas na tabela-verdade para as premissas e a conclusão nas quais tenhamos apenas valores falsos.
• d)
• O argumento não é válido pois existem valores lógicos na tabela-verdade para as premissas e a conclusão para as quais a conclusão é falsa.
• e)
• Este argumento não é válido pois existe ao menos um valor lógico falso na conclusão.