Junte-se à comunidade do IDNLearner.com e obtenha soluções rápidas. Junte-se à nossa plataforma de perguntas e respostas para receber respostas rápidas e precisas de profissionais em diversos campos.

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.