이산수학 논리 - 명제, 논리 연산, 술어 논리, 추론
명제명제참과 거짓을 구별할 수 있는 문장이나 수학적 식을 명제라고 한다.명제의 진리값참 (True), T: 명제가 타당한 경우거짓 (False), F: 명제가 타당하지 않은 경우명제의 종류합성명제조건명제, 쌍조건명제항진명제, 모순명제명제의 예다음 문장이 명제인지 아닌지 구분해보자(1) 6은 2의 배수다. -> 명제이다(2) 철수는 공부를 잘한다 -> 명제가 아니다.(3) 2+3=7 -> 명제이다(진리값이 거짓임).(4) x +2 = 0 -> x의 값에 따라서 참일 수도 있고, 거짓일 수도 있다. 따라서 명제가 아니다. 다음 명제의 진리값을 구하라(1) 2,3,6는 소수이다. -> F(2) 소수의 개수는 무한하다. -> T(3) 126 = 2^6 -> F(4) 지구에서 가장 높은 산은 에베레스트이다. -..
2024. 5. 2.