sea P (v), q (F) y r (F)

( p ∧ ∼ q ) ∧ (~q⇒ r) ​