Question

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.

Answer 1

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.