명제 P → Q 참∙거짓 판별법

 

 

①  직관 : “사과는 과일이다” 명제는 보는 즉시 참∙거짓 판별 가능

 

②  여집합 포함관계 활용 : P ⊂ Q  ⇔ Qc ⊂ Pc

 

③  귀류법 또는 대우명제(~q → ~p) 활용 : 결론을 부정하면 원 명제에 모순이 생겨

      그래서 원 명제가 참이라고 증명하는 방법

   

     귀류법 : “결론을 부정하면 모순이 생기더라” 그래서 결론이 참이 되는 것임

                  (검토할 수 있는 가정 개수 늘어남)

                  (~q이고 p이면 모순 발생)

 

     예) “​√2는 무리수이다”의 참∙거짓 판별은 “√2는 유리수이다”의 참∙거짓을 따짐

 

 

 

 

 

#명제참거짓판별법

#직관

#여집합포함관계

#귀류법

#대우명제

#결론부정

#모순발생