Question

Considere as proposições P: p → q e Q: ~p ∨ q. Sabendo que P ⇒ Q e Q ⇒ P, podemos afirmar que:

A) A proposição P é logicamente equivalente à proposição Q pela propriedade reflexiva.

B) A proposição P é logicamente equivalente à proposição Q pela propriedade antissimétrica.

C) A proposição P é logicamente equivalente à proposição Q pela propriedade transitiva.

D) A proposição P é logicamente equivalente à proposição Q pela propriedade comutativa.

E) A proposição P não é logicamente equivalente à proposição Q.

Answer 1

Resposta:

ALTERNATIVA B) A proposição P é logicamente equivalente à proposição Q pela propriedade antissimétrica.

Explicação:

Uma das propriedades da implicação lógica abordadas nesta Unidade é:

Antissimétrica: Se P ⇒ Q e Q ⇒ P, e então P ≡ Q.

Esta propriedade se encaixa no enunciado da questão.