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

메인프리

최초 등록일: 2011.05.12
최종 저작일: 2011.05; 44페이지/ 어도비 PDF; 가격 6,500원

다운로드

장바구니

상세정보
자료후기 (0)
자료문의 (0)
판매자정보

* 본 문서는 PDF문서형식으로 복사 및 편집이 불가합니다.

본문내용

제1장 논 리

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

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

- 중략 -

참고 자료

없음

파일오류	중복자료	저작권 없음	설명과 실제 내용 불일치
파일의 다운로드가 제대로 되지 않거나 파일형식에 맞는 프로그램으로 정상 작동하지 않는 경우	다른 자료와 70% 이상 내용이 일치하는 경우 (중복임을 확인할 수 있는 근거 필요함)	인터넷의 다른 사이트, 연구기관, 학교, 서적 등의 자료를 도용한 경우	자료의 설명과 실제 자료의 내용이 일치하지 않는 경우