Em proposições com o conectivo "ou" troque por "e" e negue tudo, a recíproca é verdadeira. (1° Lei de Morgan)

Nega o P, nega o Q e troque "ou" por "e"

ou = v

e = ∧

~ρ ∧ ~q.

#TropaOBA

isso seria uma negação e não equivalência , não entendi .

Gente, mas de acordo com o princípio da dupla negação não deveria tornar a sentença toda correta?

Direto ao ponto, sem enrolação.

De primeiro análise, observem que ele pede a Equivalência. Porém, de quem?

R= Da proposição ~(ρ ∨ q) - Ele quer a equivalência do V (ou).

Então, a Eqv do V (ou) é a seguinte = NE -> MA, (negar a primeira parte, manter a segunda parte e trocar o 'ou' pelo Se...então).

Por fim, o ~ está negando o conectivo ->, que seria MA NE - Mantém a primeira parte, nega a segunda e troca o Se então por "e".