해설지에는 아래 구간에서 Modus Ponens Rule을 사용했는데


~p∧r→~s

r

∴~s


이게 Modus Ponens Rule 인가요?


2번째 줄에 ~p∧r이라는 문장이 있어야 성립하는 규칙 아닌가요..?