자연연역으로 문제 풀이 하나만 물어봐도 돼?

[00(220.72)]

(P · R) ⊃ L

S ⊃ R

L ⊃ Q

-----------------------------------------------------------------------------

(P · S) ⊃ Q

이거 자연연역으로 어떻게 증명하지...

중간까지 했는데 갑자기 막혀서...ㅜㅜㅜ

답변해주면 너무 고맙겠어

[익명(39.124)]

p&s 얻고 p s 얻은 다음 r 얻고 l 얻고 q 얻으면 됨 - dc App

[익명(39.124)]

r얻고 p&r 얻고 - dc App

[ㅜㅜ(112.212)]

결론이 조건문이니 조건문을 얻기 위해서는 조건문의 전건을 가정하고 후건을 증명해내면 되니(조건문 도입규칙) p&s를 전제로 새롭게 가정하고 Q를 증명해내면 됨. p&s를 전제로 새롭게 가정하면 조건문제거(전건긍정)와 연언제거 규칙등을 쓰면 쉽게 결론이 도출됨. 위에 대답에 'p&s 얻고'라고 했는데 그것을 얻는게 아니라 새롭게 전제로 가정해야함. 그건그렇고 이런 정도의 질문을 하면서 짤은 어마무시한 괴델 사진을...ㅋ 헉...미안 ㅋ 나도 잘모릅니다.ㅋㅋ

[ㅜㅜ(112.212)]

근데 저거 짤 합성이냐 진짜냐? 아님 머 잘못 반사된건가? 괴델 눈까리가 왜저러냐?ㅋ