p->q (1) 썸네일형 리스트형 연역논증_조건명제의 동치 조건명제(p→q)는 ~p∨q와 동치이다. p→q ≡ ~p∨q 'p이면 q이다'와 'p가 아니거나 q이다'가 왜 동치일까? '비가 오면, 우산을 가지고 간다'와 '비가 오지 않거나 우산을 가지고 간다'가 왜 동치일까? 조건명제(조건문)는 '비가 올 때, 우산을 가지고 간다'라는 상황만을 말하고 있기 때문에 그렇다. 비가 오면 우산을 가지고 나갈 것이고, 비가 오지 않을 수도 있다. 조건명제(조건문)는 '비가 오는 상황'만을 말하고 있으므로, 아래의 경우 모두 참이다. 1) 비가 올 때, 우산을 가지고 나가는 경우 2) 비가 오지 않을 때, 우산을 가지고 가거나 가지고 않는 경우 조건명제(조건문)가 말하고 있는 것은 '비가 오지 않거나', '우산을 가지고 나간다'라는 것을 말하고 있다. 그래서 'p = 비가.. 이전 1 다음
