자연연역으로 논리학문제 하나만 풀어주세요

[익명(175.223)]

~q ⊃ ~r
~r ⊃  s
p · ~s
ㅡㅡㅡㅡㅡㅡ
p ⊃ q

[논리학 대장(223.62)]

1. ~q -> ~r2. ~r -> ~s3. p & ~s4. p (전제3 단순화)5. ~s (전제3 단순화)6. r (전제2 5 후건 부정)7. q (전제1 6 후건 부정)p와 q가 모두 참이니당연히 p -> q 참textexture.tistory.com가서 좀 배워봐

[익명(110.70)]

귀류법으로 p and -q도입한 다음에 전제 1,2에서 삼단논법으로 if -q than s를 얻고 전건긍정으로 s를 얻고 전제 3을 단순화시켜 -s를 얻으면 모순이므로 if p than q

[애니멀(123.109)]

저 문제에서 사용할 수 있는 추론 규칙이 먼줄 알아야 제대로 풀수있지..ㅋ

[애니멀(123.109)]

대략 직관적인 규칙들 다 쓸 수 있다면 엄청 간단한 문제잖아. P를 새롭게 가정하고 전건 긍정 후건 부정 반복해서 적용하면 곧바로 결론 q가 따라나오고 마지막에 조건문 도입 규칙 같은 거 적용해서 원래의 결론인 조건문 만들어주면 됨