작성자순풍산부인과작성시간10.01.16
진리 집합을 가지고 생각해보면 x 가 P의 원소일 때, x 가 Q의 원소이다. 그런데 부정하면 x in P이면 x in Q^c (Q의 여집합) 이것이 모순이므로 x in Q가 되고 따라서 x 가 P의 원소일 때, x 가 Q의 원소이다를 얻게 되므로 p->q 성립
답댓글작성자1618작성자 본인 여부작성자작성시간10.01.17
집합P가 집합Q의 부분집합이 아니면서 공통부분도 있고 P-Q인 부분도 있는 벤다이어그램을 생각해보니깐 x 가 P의 원소일 때, x 가 Q의 원소이다.가 원래는 거짓이지만 제가 참인지 거짓인지 모르고 증명해나갈때 부정해서 x in P이면 x in Q^c (Q의 여집합) 이것이 모순이 생겨도 x 가 P의 원소일 때, x 가 Q의 원소이다를 얻게 되는게 아니지 않나요? 귀류법은 명제가 참일때만 쓰이는 증명법인가요?
답댓글작성자순풍산부인과작성시간10.01.19
집합적으로 보면 모든 원소는 그 집합에 속한다 속하지 않는다 2가지 밖에 없자나요? 그리고 여기서 보이는게 모든 P의 원소 x를 상대로하여 이 x가 Q에 속한다라는 것을 보이는것이에요. 즉 집합 P와 Q 사이의 관계는 잘 모르지만 임의의 집합 P의 원소에 대하여 이를 x라 할때 x가 Q^c에 들어가지 않으면 Q에 들어가니깐 P가 Q의 부분집합이고 결국 p->q가 성립하는 것이겠지요.