형식논리학의 양도논법 해설좀 해주실분.

(p→r)∧(q→s)

p∨q

-----------

r∨s

 

이게 양도논법에 대한 시인건 알겠는데 이거 어떻게 해석하나요?;; 한글로 말구 푸는 과정 좀 알려주세요.

히히... discrete math 싫음요 ㅠㅠ

응? 저걸 또 풀어야 하던가? 형식논리학 배웠는데 감감하네요;

나랑께 교양으로 배웠었당께

기달리랑께

오오 ㅜㅜ

(p→r)∧(q→s)
┐p
q (p∨q)
s (q→s)

뭐 이런식으로 증명하라는건가?;

뭘 어떻게 해야 하는건가요?ㅋ 시험보시나보네

네 내일 시험인데 기억이 하나도 안나요 ㅋㅋ..3번이나 수업을 빠졋는데 그때 나온듯해요. 과제로 진리표, 큐분석, 진리치분석 이런거 하긴했는데 저건 뭘써야하는지;;

흠.. 근데 따지고보면 한글로 하는 게 가장 쉬운데 ㅋㅋ 예과 1학년때 들었던 교양이라

필기가 오데로 가부렸는지 원..ㅠㅠ

저걸 증명하란 말인가요?