A proposição p  m é equivalente a (~m)  (~p), em que (~p), (~m) denotam, respectivamente, as negações das proposições p e m. Portanto p  m é equ...

Sim, a proposição p → m é equivalente a (~m) → (~p), em que (~p), (~m) denotam, respectivamente, as negações das proposições p e m. Portanto, a proposição p → m é equivalente a "Se Paulo está mentindo, então Maria não está mentindo".