👤

[ ( p ∧ ∼ q ) v ∼ r ] ⇒ q