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 é:

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

Vamos analisar cada uma das alternativas e ver qual está de acordo com a proposição condicional, que diz que se Amanda é casada, Carlos é divorciado.

1) Nesse caso, Amanda é casada e Carlos é divorciado. Correto.

2) Uma vez que existe a condição de Amanda ser casada para que Carlos seja divorciado, os dois devem acontecer junto, e não um ou outro. Incorreto.

3) Carlos só é divorciado se Amanda for casada. Incorreto.

4) Caso a Amanda não seja casada, não foi estabelecido se Carlos seria ou não divorciado. Incorreto.

5) Se Amanda não é casada, não existe condição para Carlos. Incorreto.

Portanto, a alternativa correta é: 1.

Answer 2

Alternativa 5 tabelas verdades idênticas:

P -> q <-> ~p v q

V V V V F V V

V F F F F F F

F V V V V V V

F V F V V V F