안녕하십니까 손승태입니다.
질문주신 예제는 다음 예제인 것 같습니다.
○ C가 참석하거나 D가 불참한다. ○ C가 불참한다.
일단 선언과 선언소거에 대해서 정리하면 선언 P V Q는 P와 Q 중 최소한 하나 이상은 참이어야 한다는 의미입니다. 참 거짓이 헷갈릴 수도 있으므로 말로 풀어서 생각해보면 둘 중 하나 이상은 충족해야한다는 의미입니다. 그리고 선언소거는 말로 풀어서 생각해보면 선언 P V Q가 주어져 있을 때, 선언으로 주어져 있는 두 명제 P, Q 중 어느 한 쪽이 충족되지 않는다면 나머지 한 쪽이 충종되어야 한다는 의미입니다. 이를 기호로 생각해보면 P V Q ~P 인 경우 Q이다. 라고 표현합니다.
예제로 돌아와보면
▷"C가 참석하거나 D가 불참하면 C V ~D이고": 정확합니다. ▷"C가 불참이 확정되었으니 ~C라고 이해했습니다.": 정확합니다.
말로풀어서 생각해보면 선언으로 C V ~D라고 주어져 있으므로 'C'나 '~D' 중 하나 이상이 충족되어야 합니다. 그런데 '~C'이므로 'C'가 충족되지 않으니까 나머지 한 쪽인 '~D'가 충족되어야 합니다.
기호로 생각해보면 C V ~D ~C 인 경우 ~D이다 가 됩니다.
▷"C V ~D를 합축법칙에 의하면 ~C ->D가 될 수 있다고 생각": C V ~D를 함축법칙에 따라 조건문으로 바꾸면 '~C->'~D'가 됩니다. 선언을 함축법칙에 따라 조건문으로 바꿀 때 선언으로 주어져 있는 'C'와 '~D' 중 어느 하나에만 '~'을 붙여야 합니다. 선언 C V ~D는 교환법칙에 따라 순서를 바꿔도 상관없으므로 C V ~D = ~D V C인데 1) C V ~D에서 C에 부정을 붙여 ~C -> ~D와 같이 바꿀 수도 있고 2) ~D V C에서 ~D에 부정을 붙여 D -> C와 같이 바꿀 수도 있습니다. 두 경우는 서로 대우이므로 결과는 같습니다.
▷'함축법칙이 아니어도...': C가 참석하거나 D가 불참해야 하는데 C가 불참인 상황이 확정입니다. 말로 풀어서 생각해보면 'C가 참석', 'D가 불참' 중 하나 이상은 충족되어야 한다. C가 불참이면 'C가 참석'이 충족되지 않는다. 그러므로 'D가 불참'이 충족되어야 한다. 즉, '~D'가 참이다. 'D가 불참한다'가 참이다. 입니다. 아마도 '참석', '불참', '참', '거짓'과 같은 표현이 여러 가지가 있으면 헷갈릴 수도 있습니다. 이상의 내용으로 다시 차근차근 정리해보셨으면 좋겠습니다.
이전 자료 업로드 여부는 다시 한번 확인하겠습니다. 감사합니다.
|
안녕하세요 선생님 강의 6강 예제 질문 드립니다.
~빠름 A -> ~초원 A V ~초식A 까지 선생님의 설명을 듣고 이해를 했습니다.
그런데 A가 육식동물이기에 A는 ~초식 이라고 설명하셨는데 이를 통해
~초원 A V ~초식A 이면 A가 ~초식 이므로 ~초원 A가 아닌것 이되어 제가 생각할땐 결과적으로 ' A는 초원에 산다 '라는 결론이 나왔습니다.
그런데 강의에서는 A는 ~초식A가 아니여서 결론이 ~초원A이다라고 설명을 하셨습니다. 논증과정 어느부분에서 제가 실수를 한건지 잘모르겠습니다
감사합니다.