Considere os pares de proposições abaixo:
(1) "~~p" e "p"
(2) " ~p → p" e "p"
(3) "p → p ∧ q" e "p → q"
São proposições equivalentes os pares encontrados em:
Considere os pares de proposições abaixo:
(1) "~~p" e "p"
(2) " ~p → p" e "p"
(3) "p → p ∧ q" e "p → q"
São proposições equivalentes os pares encontrados em:
