이산수학 교재전범위 핵심요약노트

목차

제 1 장　기초
제 2 장　정수 및 행렬
제 3 장　관계와 함수
제 4 장　계수법칙
제 5 장　점화식
제 6 장　그래프 이론
제 7 장　불 대수
제 8 장　자동장치와 언어와 문법


- 각 장 출제예상문제 (해설) -

본문내용

1. 논 리
(1) 명제
① 우리가 사용하는 문장 중 감탄문, 명령문, 의문문이 아닌, 어떤 사실을 전달하는 데 사용되는 문장을 평서문이라 하는데 논리에서는 참이나 거짓 둘 중의 하나로 확실하게 판정할 수 있는 평서문을 명제(proposition)라고 함
② 진리 값: 명제가 갖는 참 혹은 거짓의 값
③ 평서문 중에서 명제와 비슷하게 보이지만, 참의 값을 부여하면 거짓인 것으로 드러나고, 거짓의 값을 부여하면 참인 것으로 드러나는 문장을 패러독스(paradox)라고 한며, 패러독스는 진리 값을 부여 할 수 없으므로 명제가 아님

(2) 논리연결자와 복합명제
① 수학에서 숫자를 대신하는 변수 x, y, z등을 사용하였듯이, 논리에서는 명제를 대신하는 명제변수 P,Q,R등을 사용
② 앞의 단순한 명제들을 연결자(connective)로 묶어 새로운 복합명제를 만들 수 있으며, 논리 연결자를 논리연산자라고도 함
③ 복합명제의 진리 값은 구성명제의 진리 값과 연결자에 의하여 결정됨

- 명제 P에 대하여 P의 부정(negation)은 P가 아님. 즉 ‘not P'를 뜻하며 ~P로 표기하며, 정의로부터 P가 참이면 ~P는 거짓이며, P가 거짓이면 ~P는 참임을 바로 알 수 있음



- 중략 -

참고 자료

없음