명제 - 참 또는 거짓 중 하나로 파정될 수 있는 선언적 문장 - 논리학의 기본 구성 요소 p와 q가 명제이면 논리연산자를 사용하여 새로운 복합명제를 만들 수 있다. 논리연산자는 명제연산자 혹은 불리언 연산자라고 불리며, 피연산자로서 명제 혹은 진리 값을 취한다. 조건명제( conditional proposition ) -또는 함축 -if p then q, p onlty if q -in symbols p -> q - p 가설 - q 결론 조건명제 진리지표 조건명제는 참 많은 분들이 헷갈리는 것인데요. 구분 P Q P -> Q 1 T T T 2 T F F 3 F T T 4 F F T 2번 빼고 다 true가 나오는 것을 보실 수 있습니다. [예시] 만약 고등학생이면 야자를 한다. p : 고등학생이다. q ..