- Podemos verificar a validade ou não validade de um argumento utilizando tabelas-verdade para as premissas e a conclusão para determinar se a conclusão apresentada em alguma de suas linhas é verdadeira.
Conside o argumento:
Premissa 1: p ↔ ¬q
Premissa 2: p ∨ q
Conclusão: p ↔ q
Selecione uma alternativa correta:
O ( ) Este argumento não é válido pois a conclusão é falsa.
O ( ) Este argumento não é válido pois existe ao menos uma linha na tabela-verdade para a conclusão que assume valor lógico verdadeiro.
O ( ) O argumento não é válido pois não existem linhas na tabela-verdade para as premissas que sejam verdadeiras.
O ( ) O argumento é válido pois existem valores lógicos na tabela-verdade para as premissas e a conclusão que são verdadeiros.