mostrar texto associado

A proposição P será equivalente à proposição (¬R) ∨ S, desde que R e S sejam proposições convenientemente escolhidas.