Por definição, temos que duas proposições são equivalentes quando suas tabelas-verdade forem iguais, ou ainda, quando elas têm o mesmo significado, transmitindo a mesma ideia.
LEITE, Á. E; CASTANHEIRA, N. P. Raciocínio Lógico e Lógica Quantitativa. Curitiba: Intersaberes, 2017
Analisando o fragmento de texto acima e tomando-se a proposição, Se Amanda é casada, então Carlos é divorciado, podemos dizer que uma equivalência lógica para esta proposição é;
Alternativas
Alternativa 1:
Amanda é casada e Carlos é divorciado.
Alternativa 2:
Amanda é casada ou Carlos é divorciado.
Alternativa 3:
Amanda não é casada e Carlos é divorciado.
Alternativa 4:
Amanda é casada ou Carlos não é divorciado.
Alternativa 5:
Amanda não é casada ou Carlos é divorciado.
Soluções para a tarefa
Respondido por
4
Tabelas-Verdade na imagem anexada.
Se Amanda é casada, então Carlos é divorciado.
A = "Amanda é casada"; B = "Carlos é divorciado".
Então, AB.
Primeiramente, faremos a tabela-verdade de A⇒B.
Depois, as tabelas-verdade de cada alternativa, até acharmos a alternativa em que tenha equivalência lógica com A⇒B.
Analisando a imagem anexada, podemos dizer que a Alternativa 5 é a correta, ou seja, A⇒B ⇔ ~A ∨ B.
Anexos:
Perguntas interessantes