As tabelas verdade consistem em um _____________ ou instrumento capaz de verificar as consequências lógicas dessas proposições, ou seja, são utilizadas na validação de argumentos. Assinale a alternativa que preenche corretamente e respectivamente a lacuna do texto:

Tabelas-verdade são um procedimento (método) de avaliação semântica: elas verificam o valor de verdade de proposições compostas a partir dos valores de verdade de suas proposições simples, permitindo testar validade de argumentos (se, sempre que as premissas forem verdadeiras, a conclusão também for verdadeira).

Assim, a lacuna deve ser preenchida por algo como “método semântico”, pois a tabela-verdade é um instrumento semântico de verificação das consequências lógicas.

As demais alternativas não se ajustam ao enunciado:

• Predicado: é elemento da lógica de predicados, não um instrumento de validação por tabela.
• Sofisma/Falácia: são erros (intencionais ou não) de argumentação.
• Cálculo Proposicional: é o sistema formal (sintático) da lógica proposicional; a tabela-verdade é uma técnica semântica para avaliar fórmulas/argumentos nesse contexto.

Alternativa correta: (a).