[ ( p v q) ∧ ֊ p ] →q