Ed
ano passado
A proposição dada \( (p > q) \leftrightarrow (\neg p \lor q) \) trata-se de uma equivalência lógica. Essa equivalência é verdadeira, pois a implicação \( p > q \) é logicamente equivalente à disjunção \( \neg p \lor q \). Portanto, a resposta é que se trata de uma equivalência lógica.