[소순영] 기본편 수학 II (2014) - 명제와 조건 |
명제 p->q가 참이 되는 조건에 대해 물어보겟습니다. |
p가 거짓이면 항상 p->q가 참이 된다는데, 왜 이렇게 되는건가요? |
안녕하세요.
질문에 대한 관련 답변입니다.
명제의 가정과 결론에 해당되는 진리집합으로 접근하면 됩니다.
명제에서 p이면 q이다 일때 가정에 해당하는 조건 p의 진리집합을 P,
결론에 해당하는 조건q의 진리집합을 Q라 하면
명제 p이면 q이다가 참이라는 것은 P C Q입니다.
그런데 가정 p가 거짓이라는 것은 p를 만족하는 것이 없다는 것. 즉 진리집합 P가 공집합이라는 것입니다.
그러면 공집합은 모든 집합의 부분집합이니까 결론이 뭐가 오든 관계없이 항상 참이 되게 되는것입니다.
|