2009년 1학기 이산수학 기말시험 핵심체크

목차

제 1 장　기초 제 2 장　정수 및 행렬 제 3 장　관계와 함수 제 4 장　계수법칙 제 5 장　점화식 제 6 장　그래프 이론 제 7 장　불 대수 제 8 장　자동장치와 언어와 문법 - 각 장별 출제예상문제 (해설포함)

본문내용

제1장 논 리 1. 논 리 (1) 명제 ① 우리가 사용하는 문장 중 감탄문, 명령문, 의문문이 아닌, 어떤 사실을 전달하는 데 사용되는 문장을 평서문이라 하는데 논리에서는 참이나 거짓 둘 중의 하나로 확실하게 판정할 수 있는 평서문을 명제(proposition)라고 함 ② 진리 값: 명제가 갖는 참 혹은 거짓의 값 ③ 평서문 중에서 명제와 비슷하게 보이지만, 참의 값을 부여하면 거짓인 것으로 드러나고, 거짓의 값을 부여하면 참인 것으로 드러나는 문장을 패러독스(paradox)라고 한며, 패러독스는 진리 값을 부여 할 수 없으므로 명제가 아님 (2) 논리연결자와 복합명제 ① 수학에서 숫자를 대신하는 변수 x, y, z등을 사용하였듯이, 논리에서는 명제를 대신하는 명제변수 P,Q,R등을 사용 ② 앞의 단순한 명제들을 연결자(connective)로 묶어 새로운 복합명제를 만들 수 있으며, 논리 연결자를 논리연산자라고도 함 ③ 복합명제의 진리 값은 구성명제의 진리 값과 연결자에 의하여 결정됨 - 중략 -