집합론
-
[집합론] 조건부 (conditional)대학수학 2016. 1. 10. 12:30
집합론에서 배우는 조건문 $p\to q$의 진리표는 다음과 같다. $p$ $q$ $p\to q$ $T$ $T$ $T$ $T$ $F$ $F$ $F$ $T$ $T$ $F$ $F$ $T$ 한번쯤은 왜 조건문의 진리표가 이렇게 됐는지를 고민해봤을 것 같다. 왜 진리표가 저렇게 나왔는지 쉬운 예를 생각해보았다. 그 답을 보기 전에 스스로 생각해보자. 만약 $p$ : 전교 1등을 한다. ,$q$ : 피자를 사준다. 라고 명제를 설정하고 부모님이 우리에게 $p\to q$, 즉 전교 1등을 하면 피자를 사준다고 했다고 하자. 전교 1등을 하고 피자를 사주시면 그 조건문은 참($T$)이 된다. 하지만 전교 1등을 했는데도 피자를 사주지 않는다면 그 조건문은 거짓($F$)이 된다. 여기부터가 중요하다! 전교 1등을 하지 ..