선언문1 명제논리(Propositional Logic) 몇몇 논리퍼즐들을 풀기 위해서는 논리 법칙들을 잘 알고 있어야 한다. 주어진 명제가 참인지 거짓인지 밝혀내는 과정에서 일련의 법칙을 모른다면 복잡하게 구성된 명제들의 참과 거짓을 이상하게 해석할 수 있기 때문이다. 이 글에서는 주로 쓰이는 부정(negation)과 여러 연결사(connectives)들을 볼 것이다. 이를 위해 [1]를 참고했다. 1.부정(Negation) 어떤 명제 p가 있을 때, 'p가 아니다 (not p)'를 p의 부정이라하고 기호로는 ~p혹은 ¬p로 나타낸다. ~p의 진리치는 p와 반대이다. 즉, p가 참일때 ~p는 거짓이고, p가 거짓일때 ~p는 참이다. 이를 진리표로 나타내면, 2. 연언문(Conjunction) 어떤 명제 p와 q가 있을 때, 'p 그리고 q (p and q)'.. 2011. 12. 10. 이전 1 다음
