형식논리학 질문 하나만 더할게영

① (p→r)∧(q→s)

     p∨q

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

  ∴r ∨s

 

일번문제만 질문드릴게요.

 

이게 보니까  '(p→r)∧(q→s)' 것과 'p∨q'이 각각 전제이고 마지막 부분이 결론인 것 같은데

진리표를 만드는데 있어서 첫번째 전제는 문장부호가 4개라서 16개의 진리값내림(?) 을 하게 되고 두번째 전제는 4개가 될텐데 교수님이 말한건 각각 구하라는 말씀이실까요?

그리고 전제에서 결론을 도출해내는 것에 대해서 어떠한 근거 같은게 있어야 할 것 같은데 그냥 위의 전제 두개의 진리표만 적으면 되는건가요.

여긴어디 나는누구

후배님 고생하시는구만요