제 전공이 수학과는 아니지만 수학을 잘하는게 나중에 큰 도움이 될 거라고 굳게 믿기에 열심히 공부하는 중입니다.

대학 마지막 학긴데 우째 널널하지가 않게 됬네유 ㅎㅎ

질문 드릴 것은 집합론 과목에 있는 문제 입니다. 미분방정식 처럼 계산을 멋지게 하는 과목은 아닌 것 같아요.

아직 학기 초라 기본 개념과 베이스를 배우고 있는데 이눔의 짱돌은 굴려도 작동을 안하네요 ㅠㅠ

드릴 질문은 아래와 같습니다.

 긍정형 양도 논법을 연역적 방법으로 증명하여라.

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

이 것을 진리표를 통해서 증명하는 것이 아니고 연역적으로 증명하는 것이 요지 입니다.

수업 시간에 배운 법칙들 예를 들어 이중부정, 멱등법칙, 배리법, 추이 법칙 등등 이용해서 해보려고 해도 풀리지가 않아요 ㅠ

긍정형 양도 논법이 영어로 construction dilemma 이기에 구글링 해봤는데 저 논법이 저 형태만 띄는 것이 아니고 

다양한 형태를 가지고 있더라고요. 저 명제의 좌변이나 우변이 함의하거나 동치되는 수많은 명제의 형태들이 있기에 저 문제를 푸는데

도움이 되는 가이드를 주는 정보는 찾지 못했어요.

일전에 과게에 어떤 분이 wolfram 어플 추천해주셔서 유용하게 쓰고 있었는데 (감사합니다 (__)) 여기에 찾아봐도 정의 정도만 나오더라고요.

질문보다 다른 내용이 더 길었는데.. 아무래도 질문만 딸랑 던지는것보다는 제가 이런저런 시도를 해봤는데 잘 안되서 도움을 구합니다.. 라는

의미를 드리고 싶었어요.

과게에는 첫글인데 과게분들 항상 좋은 하루 되시길 바랍니다 ^^