Imagem de fundo

Considerando as proposições A: (~p ↔ q) ➔ (~q ∧ p); B: (p ➔...

Considerando as proposições A: (~p ↔ q) ➔ (~q ∧ p); B: (p ➔ q) ↔ ( ~q ➔ ~p), é correto afirmar que:


A

temos que A e B, são proposições equivalentes.


B

temos que a negação das duas proposições são tautologias.


C

temos que a proposição A é uma contingência e, a proposição B, é uma tautologia.


D

podemos considerar que a proposição A é uma tautologia, enquanto a proposição B, é uma contradição.


E

a proposição A possui em sua última coluna, apenas dois valores lógicos verdadeiros e a proposição B é uma tautologia.