As Tabelas Verdade são consideradas um método semântico ou instrumento cujo objetivo é a validação dos argumentos. Além disso, a noção de ____________________ é uma das mais importantes na Lógica Matemática. BISPO, C. A. F.; CASTANHEIRA, L. B.; SOUZA FILHO, O. M. Introdução à Lógica Matemática. Cengage Learning, 2011 (adaptado). Assinale a alternativa que preenche a lacuna do texto corretamente:

O enunciado diz que as Tabelas-Verdade são um método semântico (isto é, baseado em interpretações/valorações e na noção de verdade em modelos) cujo objetivo é a validação de argumentos.

Na Lógica Matemática, “validar um argumento” significa verificar se, sempre que as premissas são verdadeiras, a conclusão também é verdadeira. Essa ideia é expressa formalmente pela relação de consequência lógica:

• Dado um conjunto de premissas $\Gamma$ e uma conclusão $\varphi$, diz-se que $\Gamma \vDash \varphi$ (lê-se: “$\varphi$ é consequência lógica de $\Gamma$”) quando não existe uma valoração/interpretação em que todas as fórmulas de $\Gamma$ sejam verdadeiras e $\varphi$ seja falsa.

As tabelas-verdade são justamente uma ferramenta clássica para testar essa relação (ou seja, verificar se há ou não uma linha da tabela em que as premissas sejam verdadeiras e a conclusão falsa). Por isso, a lacuna deve ser preenchida por consequência lógica.

Alternativa correta: (a).