이산수학 담당교수 : 박미경 1.

Slides:



Advertisements
Similar presentations
파이썬 (Python). 1 일 : 파이썬 프로그래밍 기초 2 일 : 객체, 문자열 3 일 : 문자인코딩, 정규표현식, 옛한글 4 일 : 파일 입출력 5 일 : 함수와 모듈 6 일 : 원시 말뭉치 다루기 실습 7 일 : 주석 말뭉치 다루기 실습 8 일 : 웹 데이터로.
Advertisements

1. 2 차원 배열  배열은 동일한 데이터 유형으로 여러 개의 변수를 사용할 경우 같은 이 름으로 지정하여 간편하게 사용할 수 있도록 하는 것으로서 앞에서 1 차원 배열을 공부하였습니다.  2 차원 배열은 바둑판을 생각하면 되며, 1 차원 배열에서 사용하는 첨자를 2.
출석수업 과제 – 총 5문제, 10월 25일 제출 정보통계학과 장영재 교수.
재료수치해석 HW # 박재혁.
대림대학교 2017년도 1학기 강의 왕보현 순서도와 스크래치 5주차 대림대학교 2017년도 1학기 강의 왕보현
• 수학 • 6학년 나단계 • 7. 연비>1/9 홈 두 수의 대응 관계를 , 를 사용한 식으로 나타내기 수업활동 수업계획.
이산수학 (2012년 2학기) : 강의 소개 담당교수: 류승택 (60주년 기념관: 18407)
Excel 일차 강사 : 박영민.
Chapter 7. 조건문.
Report #2 - Solution 문제 #1: 다음과 같이 프로그램을 작성하라.
컴퓨터 프로그래밍 기초 [Final] 기말고사
이산수학(Discrete Mathematics)
테이블 : 데이터베이스를 구성하는 요소로 같은 성격에 정보의 집합체. 레코드 : 하나의 정보를 가지고 있는 컬럼의 집합체
컴퓨터 프로그래밍 기초 #02 : printf(), scanf()
컴퓨터과학 전공탐색 배상원.
멀티미디어 시스템 (아날로그 이미지,신호를 디지털로 변환 방법) 이름 : 김대진 학번 :
Tail-recursive Function, High-order Function
행렬 기본 개념 행렬의 연산 여러가지 행렬 행렬식 역행렬 연립 일차 방정식 부울행렬.
디 지 털 공 학 한국폴리텍V대학.
1.4 중첩된 한정기호 (Nested Quantifiers) 이산수학 (Discrete Mathematics)
C 프로그래밍 C언어 (CSE2035) (Chap11. Derived types-enumerated, structure, and union) (1-1) Sungwook Kim Sogang University Seoul, Korea Tel:
JA A V W. 03.
프로그래밍 개요
어서와 C언어는 처음이지 제14장.
13. 포인터와 배열! 함께 이해하기 IT응용시스템공학과 김 형 진 교수.
디지털회로설계_강의안1 1. NOT, OR, AND 게이트.
Term Projects 다음에 주어진 2개중에서 한 개를 선택하여 문제를 해결하시오. 기한: 중간 보고서: 5/30 (5)
연산자 (Operator).
에어 조건문.
디지털회로설계_강의안2 NOR, NAND 게이트 불대수와 드모르강 정리.
컴퓨터 프로그래밍 기초 - 10th : 포인터 및 구조체 -
이산수학 (Discrete Mathematics)
이산수학(Discrete Mathematics)  명제의 동치 (Propositional Equivalence)
Choi Seong Yun 컴퓨터 프로그래밍 기초 #06 : 반복문 Choi Seong Yun
합집합과 교집합이란 무엇인가? 01 합집합 두 집합 A, B에 대하여 A에 속하거나 B에 속하는 모든 원소로 이루어진 집합을 A와 B의 합집합이라고 하며, 기호 A∪B로 나타낸다. A∪B ={x | x∈A 또는 x∈B}
컴퓨터 프로그래밍 기초 - 8th : 함수와 변수 / 배열 -
3강. 컴퓨터와의 기본적인 소통수단 - I 연산자란? 컴퓨터와 소통하기 위한 다양한 방법들
보고서 #7 (기한: 6/2) 2개의 스택, stk1, stk2를 이용하여 큐를 구현하라.
수학10-나 1학년 2학기 Ⅰ. 도형의 방정식 2. 직선의 방정식 (9/24) 점과 직선 사이의 거리 수업계획 수업활동.
수학10-나 1학년 2학기 Ⅳ.삼각함수 3. 삼각함수의 그래프(7/12) 삼각함수 수업계획 수업활동.
수학10-나 1학년 2학기 Ⅳ.삼각함수 4. 삼각방정식과 삼각부등식(9/12) 삼각함수 수업계획 수업활동.
01 로그의 정의 ⑴ 일 때, 양수 에 대하여 을 만족시키는 실수 는 오직 하나 존재한다. 이때 를
수학10-나 1학년 2학기 Ⅱ.부등식의 영역 2. 연립부등식의 영역 (3/5) 부등식 영역 수업계획 수업활동.
수학10-나 1학년 2학기 Ⅱ.부등식의 영역 1. 부등식의 영역(2/5) 부등식 영역 수업계획 수업활동.
디버깅 관련 옵션 실습해보기 발표 : 2008년 5월 19일 2분반 정 훈 승
수학10-나 1학년 2학기 Ⅰ. 도형의 방정식 1. 평면좌표 (2~3/24) 선분의 내분점과 외분점 수업계획 수업활동.
약식 진리표를 이용한 타당성 증명 진리표 그리기 방법의 한계
에어 PHP 입문.
바넘효과 [Barnum effect] 사람들이 보편적으로 가지고 있는 성격이나 심리적 특징을 자신만의 특성으로 여기는 심리적 경향. 19세기 말 곡예단에서 사람들의 성격과 특징 등을 알아 내는 일을 하던 바넘(P.T. Barnum)에서 유래하였다. 1940년대 말 심리학자인.
2장 PHP 기초 PHP의 시작과 끝을 이해한다. 주석문에 대하여 이해한다. echo 문을 이용하여 화면에 출력하
(생각열기) 요리를 할 때 뚝배기로 하면 식탁에 올라온 후에도 오랫동 안 음식이 뜨거운 상태를 유지하게 된다. 그 이유는?
1. 접선의 방정식 2010년 설악산.
쉽게 배우는 알고리즘 2장. 점화식과 점근적 복잡도 분석
Chapter 10 데이터 검색1.
수학10-나 1학년 2학기 Ⅲ. 함수 1. 함수 (4/15) 역함수의 그래프 수업계획 수업활동.
디지털회로설계_강의안3 4. X-OR, X-NOR 게이트 5. 오픈컬렉터와 3상태 버퍼/인버터.
16장. 변수, 연산자, 사용자 정의 함수 변수 배열과 객체 연산자 함수.
상관계수.
제 22 강 논리식 및 논리 값 shcho.pe.kr.
문장제 쉽게 풀기 -최소공배수 응용 문제.
8장 선택 논리 II 1. 논리연산자 1.1 논리연산자 : AND (&&) 1.2 논리연산자 : OR (||)
이산수학(Discrete Mathematics)  술어와 한정기호 (Predicates and Quantifiers)
수치해석 ch3 환경공학과 김지숙.
• 수학 • 6학년 나단계 • 7. 연비>3/9 두 비의 관계를 연비로 나타내기 수업활동 수업계획.
수학10-나 1학년 2학기 Ⅱ.부등식의 영역 3. 부등식의 영역에서 최대, 최소(5/5) 부등식 영역 수업계획 수업활동.
 6장. SQL 쿼리.
컴퓨터는 어떻게 덧셈, 뺄셈을 할까? 2011년 10월 5일 정동욱.
진리표를 이용한 타당성 증명 진리표(truth table) : 단순 문장들이 진리값을 상이하게 가질 수 있는 가능한 모든 경우를 남김없이 열거한 표 (ex) 오늘은 날씨가 맑거나 비가 올 것이다. 오늘은 날씨가 맑다 비가 온다 오늘은 날씨가 맑거나 비가 올 것이다. T.
디 코 더 n비트의 2진 코드를 입력으로 받아들여 최대 2n개의 서로 다른 정보로 바꿔 주는 조합 회로
2019 2학기 9장 배열과 포인터 1. 주소, 주소연산자(&) 2. 포인터, 역참조연산자(*) 3. 배열과 포인터.
Presentation transcript:

이산수학 담당교수 : 박미경 1

1주차 논리와 명제 1차시: 논리의 기본 개념과 논리연산자 1주차 논리와 명제 1차시: 논리의 기본 개념과 논리연산자

들어가기_학습목표 및 내용 학습내용 학습목표 1. 논리와 명제의 기본개념 2. 논리연산 3. 항진명제와 모순명제 1. 논리와 명제의 기본개념을 이해한다. 2. 논리연산을 이해한다. 3. 항진명제와 모순명제를 이해한다.

1. 논리와 명제 논리(logic) : 주어진 문제를 객관적으로 명확하게, 그리고 사고의 법칙을 체계적으로 추구하여 분석하는지의 여부로 결정된다. 논리의 응용분야 알고리즘의 설계나 증명 디지털 논리회로의 설계 논리 프로그램 관련 분야 관계형 데이터베이스 이론 오토마타와 계산이론 인공지능 등

1. 논리와 명제 논리는 크게 명제논리(propositional logic)와 술어논리(predicate logic)로 구분된다. 명제논리 : 주어진 명제를 주어와 술어로 구분하지 않고 전체를 하나의 식으로 처리하여 참 또는 거짓을 판별하는 법칙을 다루는 논리 술어논리 :주어진 명제를 주어와 술어로 구분하여 참 또는 거짓을 판별하는 법칙을 다루는 논리

1. 논리와 명제 참(true) 또는 거짓(false)을 명확히 구분할 수 있는 문장(statement)이나 수식을 명제(proposition)라고 한다. 명제(proposition) 일반적으로 영어 소문자(p,q,r,…)로 나타냄 진리값(truth value) 명제의 진리값이 참이면 T(true), 진리값이 거짓이면 F(false)로 나타냄

1. 논리와 명제

1. 논리와 명제

2. 논리 연산 2 논리연산자(logical operators) : 단순명제를 연결시켜주는 역할을 하는 ∨,∧,~ 과 같은 연결자를 의미 합성명제의 진리값은 그 명제를 구성하는 단순명제의 진리값과 논리연산자의 특성에 따라 값이 정해진다. 따라서 진리표(truth table)를 사용한다. 단순명제의 진리값은 그 명제가 참이냐 거짓이냐에 따라 T 또는 F로 나타낸다.

2. 논리연산

2. 논리연산

2. 논리연산

2. 논리연산

2. 논리연산

2. 논리연산 명제 p, q에 대해 ~q∧p의 집리값을 구하여라. 합성명제의 진리값을 구할 때는 전체명제의 진리값을 한 번에 구하는 것 보다 각 부분의 진리값을 구한 뒤 전체 합성명제의 진리값을 구하는 편이 낫다. 따라서 ~q∧p의 진리값을 구하는 진리표를 작성하려면 먼저 ~q의 진리값을 구한 뒤 ~q∧p의 진리값을 구한다.

2. 논리 연산 진리표(Truth Table)를 작성하는 방법 논리기호 ∨, ∧, ~등을 여러 번 사용하여 합성명제를 구성할 경우 합성명제 P(p, q, r, …)의 부분명제 p, q, r 등을 변수(variable)라고 하고, 합성명제의 진리값을 각 변수들의 진리값에 의해 구할 수 있다. 진리표(Truth Table)를 작성하는 방법 진리표의 처음 n개의 열에 단순 명제 변수로 표제를 붙인다. 주어진 합성명제를 구성하는 중간 단계의 합성명제 각각에 대하여 하나의 열을 그 다음에 첨가하여 결국 주어진 합성명제에 대한 열까지 포함시킨다. 처음 n 개의 표제 밑에 합성명제의 단순 명제에 대한 2n개의 가능한 n-순서쌍 (n-tuple) 진리값을 나열한다. 각 n-순서쌍을 각각의 행에 나열한다. 나머지 열에 진리값을 계산하여 기입한다.

2. 논리 연산 합성명제 (p∧q)∨(~p)의 진리표를 만들어라. 사용된 단순명제의 수가 2개이므로, 진리표는 22, 즉 4행으로 구성된다. 처음 2개의 열에는 단순명제 p와 q가 취할 수 있는 모든 가능한 진리값의 순서쌍을 나열한다. 나머지 열의 바닥에 쓰인 번호가 해당 열이 채워진 순서를 나타낸다.

2. 논리연산

2. 논리연산

2. 논리연산

2. 논리연산

2. 논리연산

2. 논리연산 명제 p, q에 대하여 의 진리값을 구하여라. 진리표를 이용하여 명제의 진리값을 구한다.

2. 논리연산

2. 논리연산

2. 논리연산 명제 p, q에 대하여 (p → q)∧(q → p)의 진리표을 구하여라. (p → q)∧(q → p)의 진리표를 작성하기 위해 먼저 (p → q)와(q → p)의 진리값을 각각 구한다. 주어진 합성명제 (p → q)∧(q → p)는 함축 (p → q)와 (q → p)를 논리곱으로 연결하고 있다. 논리곱은 각각의 명제가 모두 참일 때 진리값이 참이다. 결국 다음과 같은 진리표를 작성할 수 있다.

2. 논리연산

2. 논리연산

2. 논리연산 명제 p, q가 주어졌을 때 (p→q)↔(q↔p)의 진리표를 구하여라. 구한다.

2. 논리연산 역(comverse), 이(inverse), 대우(contraposition)

2. 논리연산

2. 논리연산

3. 항진명제와 모순명제 2

3. 항진명제와 모순명제 명제 p와 항진 명제 t에 대해 다음 명제들의 진리값을 구하여라. (1) p∧t (2)~p∨t (3) ~p→~t 항진명제 t는 진리값이 항상 참인 명제이다. 진리표를 이용하여 주어진 명제의 진리값을 구한다.

3. 항진명제와 모순명제

3. 항진명제와 모순명제 다음 명제의 진리값을 구하여라. (1) [p∧(p → q)] → q (2)~p↔(p∨~p) 진리표를 이용하여 주어진 명제의 진리값을 구한다.

3. 항진명제와 모순명제 진리표를 이용하여 주어진 명제의 진리값을 구한다. 주어진 명제의 진리값이 모두 참이 아니므로 항진명제가 아니다.

생각해보기 생각해보기 주제 38

생각해보기 교수님 의견 39

평가하기_퀴즈 1 다음 문장 중에서 명제가 아닌 것을 모두 고르시오. 답 해설 1, 3 x + y = 5 혜영이의 키는 162Cm이다. 과제물을 빨리 제출하시오. 9는 3의 배수이다. 답 1, 3 해설 명제는 참이거나 혹은 거짓인 단언 혹은 단정적인 문장을 말합니다. 단, 참가 거짓이 모두 될 수 있는 단언은 명제에서 제외합니다. 따라서 ①은 x와y에 주어진 값을 알 수 없기 때문에 참과 거짓을 판별할 수 없는 문장이므로 명제가 아닙니다. ②는 명제이다. 이 문장이 참인지 거짓인지는 실제 혜영이의 키를 재었을 때 162Cm이면 명제는 참이고 그렇지 않으면 거짓인 명제라고 할 수 있기 때문이다. ③은 명제가 아니라 명령문 입니다. ④는 참인 문장이므로 명제이다.

평가하기_퀴즈 2 답 2 해설

평가하기_퀴즈 3 답 4 해설

평가하기_퀴즈 4 답 1 해설

평가하기_퀴즈 4 해설

정리하기 1. 논리와 명제 논리(Logic)란 인간이 어떻게 사고하는가를 표현하는 사고의 규칙을 말한다. 명제(proposition)는 논리의 기초이며, 어떤 사고를 나타내는 문장 중에서 참(true)이나 거짓(false)을 객관적이고 명확하게 구분할 수 있는 문장이나 수학적 사실을 말한다 일반적으로 명제는 영어 소문자(p, q, r, …)로 나타낸다. 명제의 진리값이 참이면 T(true)로 나타내고, 진리값이 거짓이면 F(false)로 나타낸다. 이때 . 명제를 참 또는 거짓으로 나타내는 값을 진리값(truth value)이라고 한다. 2. 논리 연산 하나의 문장이나 식으로 구성되어 있는 명제를 단순 명제(simple proposition)이라 하고, 여러 개의 단순 명제들이 논리 연산자들로 연결되어 만들어진 명제를 합성 명제(composition proposition)라고 한다. 단순명제들을 연결시켜주는 역할을 하는 V, ^, ~과 같은 연결자들을 논리 연산자(logical operators)라고 한다. 합성 명제의 진리값은 그 명제를 구성하는 단순 명제의 진리값과 논리 연산자의 특성에 따라 값이 정해진다.

정리하기 3. 항진명제와 모순명제 합성명제에서 그 명제를 구성하는 단순명제들의 집리값에 관계없이 그 합성 명제의 진리값이 항상 참(T)의 값을 가질 때 그 명제를 항진명제(tautology)라고 한다. 이와는 반대로 합성명제의 진리값이 항상 거짓(F)의 값을 가질 때 그 명제를 모순 명제(Contradiction)라고 한다.

정리하기_차시 예고 논리적 동치관계 논리적 동치를 이용하여 명제를 단순화하는 방법을 배운다. 논의영역을 통해 명제함수의 참과 거짓을 판별한다.