명제란? 명제란 객관적으로 참과 거짓을 구분 할 수 있는 문장으로 추상적이고 주관적인 견해를 배재한 문장이다. 예를 들어 "대한민국의 수도는 서울특별시이다" 에서 이 내용은 객관적으로 참,거짓을 판별 할 수 있으므로 명제이다. "이 컴퓨터는 비싸다" 에서 이 내용은 개인의 기준에 따라 참 거짓이 달라 질 수 있으므로 명제가 아니다. 이 때 조건은 알파벳 p,q,r 순으로 사용하고 그의 진리집합을 각각 영어 대문자를 사용하 P,Q,R로 사용하는 것이 관례이다. 논리연산자와 합성명제 1. 부정(not) ~p 와 같이 사용하면 문장 p가 명제일 때 "p가 아니다" 를 의미하며 p의 진릿값의 반대를 갖는 명제이다. 2. 논리곱(and) p ∧ q 와 같이 사용하며 p,q가 명제일 때 p,q 의 진릿값이 모두 참..