O Método Semântico conhecido como Tabelas Verdade são um instrumento para validação de argumentos. Por sua vez, seguindo as regras dos conectivos l...

O Método Semântico conhecido como Tabelas Verdade são um instrumento para validação de argumentos. Por sua vez, seguindo as regras dos conectivos lógicos é possível construir suas Tabelas Verdade. Dessa forma, uma proposição bicondicional possui o valor lógico VERDADEIRO (V) se, e somente se, ambas as proposições simples “p” (antecedente) e “q” (consequente) possuírem o mesmo valor lógico sejam eles V ou F. BISPO, C. A. F.; CASTANHEIRA, L. B.; SOUZA FILHO, O. M. Introdução à Lógica Matemática. Cengage Learning, 2011 (adaptado). Construa a Tabela Verdade da Bicondicional para as proposições simples “p” e “q”: Assinale a alternativa que contenha a construção correta da Tabela Verdade da Bicondicional “↔ ”. Escolha uma opção: a. b. c. d. e.