개인사

항진명제항진명제는 항상 참인 명제를 말한다. 즉, 명제의 구성 성분과 관계없이 언제나 참인 경우이며 논리적 구조상 어떠한 경우에도 거짓이 될 수 없는 명제를 말한다. 예시P∨~P : P가 참이던 거짓이던 True or False, False or True이므로 True를 리턴한다.(P∧Q) → P : (P∧Q)가 참인 경우만 고려하면 된다. (P∧Q)가 참이 되기 위해선 P는 항상 참이어야 한다. 모순명제반대로 모순명제는 항상 거짓인 명제를 말한다. 즉, 명제의 구성 성분과 관계없이 언제나 거짓인 경우이다. 예시P∧~P : P가 참이던 거짓이던 True and False, False and True이므로 False를 리턴한다.

명제명제란 논리학에서 참 또는 거짓으로 명확히 판별될 수 있는 문장을 의미명제는 참과 거짓 중 하나의 진리값을 가지며, 논리학의 기본 단위로 사용 명제의 예참인 명제 : 서울은 대한민국의 수도이다, 2는 짝수이다.거짓인 명제 : 고양이는 포유류가 아니다, 5는 10보다 크다. 명제가 아닌 문장참과 거짓을 명확히 판별하 수 없는 문장은 명제가 아니다.ex) 오늘 날씨가 좋다.(주관적 판단이 개입), 열심히 공부해라.(명령문) 명제논리명제 논리에서는 명제를 조합하여 복잡한 논리 구조를 만들 수 있다. 주요 논리 연산자는 다음과 같다.AND (논리곱, ∧): 두 명제가 모두 참일 때 참이다. 예: 𝑝∧𝑞OR (논리합, ∨): 두 명제 중 하나 이상이 참일 때 참이다. 예: 𝑝∨𝑞NOT (부정, ~): ..