¬p → r
q ∨ ¬r
p ∧ q
∴ ¬r
이 추론이 정당한 추론인지 아닌지 구하는 문제인데요. 어떻게 하는지를 모르겠습니다,,