무회blog

2021.09.24 - [IT/컴공_관련] - 01-이산수학 개념 이산 논리-02 명제에서 참, 거짓으로 나타내는 값을 진릿값이라 함 의문문, 감탄문, 명령문 등은 명제가 될 수 없음 (평서문은 명제가 될 수 있음) 기준에 따라 참, 거짓이 달라지는 경우는 명제가 아님 명제란:논리의 기본 구성요소이며, 참, 거짓을 명확히 구분할 수 있는 문장이나 수식을 말한다. 참 (True), T : 명제가 타당한 경우 거짓 (False), F : 명제가 타당하지 않은 경우 명제의 종류 합성명제 조건명제, 쌍조건명제 항진명제, 모순명제 논리 연산자: 여러 단순명제들은 논리 연산자로 연결하여 또 다른 명제 즉, 합성명제를 만들 수 있으며 논리 연산자에는 논리합(∨), 논리곱(∧), 부정(~), 조건명제(→ ), 쌍조건명..