술어명제의 해석  ∧ ∨ → ↔  =.

Slides:



Advertisements
Similar presentations
조손가정 급증 … 가난도 대물림 올해 7 만 가구 … 15 년 새 2 배로 월 평균소득 59 만 7000 원 불과 중학생 둘 중 한 명 “ 진학 포기 ” 창호 (14· 가명 ) 는 한 살 때 부모가 이혼하면서 할아버지 (69)· 할머니 (63) 와 살고 있다. 아버지는.
Advertisements

Ⅰ. 연산자 Ⅱ. 제어 구조. 연산자 : 할당 연산자 - 사용자가 정의한 변수에 임의의 값을 저장하는 기능 strvar = strVar1+ “ Hello ”
Chapter 04 컴퓨터에서 데이터 표현. 04 컴퓨터에서 데이터 표현 2 인코딩 (encoding) – 현실세계의 정보를 컴퓨터 내부에서 처리할 수 있는 이진수로 변환하는 방법 1. 컴퓨터 속에서 데이터 표현 원리 0 - 아빠 1 - 엄마 00 - 아빠 01 - 엄마.
REVIEW ∥ too 는 [ 너무, 지나친 ] 의 부정적 뜻을 가지며, [too + 형용사 / 부사 + to- 부정사 ] 구문으로 [ 너무 ~ 해서 ~ 할 수 없다 ] 의 뜻을 갖는다. too ~ to 용법 too + 형용사 / 부사 + to- 부정사 = so + 형용사.
Add Your Text 5. 지수함수와 로그함수 1. 지수함수 2. 로그함수 · 지수함수와 그 그래프 · 지수방정식과 지수부등식 · 로그 함수와 그 그래프 · 로그방정식과 로그부등식.
출석수업 과제 – 총 5문제, 10월 25일 제출 정보통계학과 장영재 교수.
적분방법의 연속방정식으로부터 Q=AV 방정식을 도출하라.
2장. 프로그램의 기본 구성. 2장. 프로그램의 기본 구성 2-1"Hello, World!" 들여다 보기 /* Hello.c */ #include int main(void) { printf("Hello, World! \n"); return 0;
행복지수 세계 1위 국민총생산 세계 68위. 행복지수 세계 1위 국민총생산 세계 68위.
- 1변수 방정식의 solution 프로그램 (Bisection method, Newton-Raphson method)
누구나 즐기는 C언어 콘서트 제4장 수식과 연산자.
Dimension Reduction(PCA)
Simulating Boolean Circuits on a DNA Computer
PySpark Review 박영택.
지식 표현과 논리 (Lecture Note #5)
학습목표 1. 한자의 뜻과 음을 알고 문장을 번역 할 수 있다. 2. 실사와 허사의 쓰임을 알고 문장을 번역할 수 있다.
일차방정식의 풀이 일차방정식의 풀이 순서 ① 괄호가 있으면 괄호를 먼저 푼다.
Ⅲ. 이 차 방 정 식 1. 이차방정식과 그 풀이 2. 근 의 공 식.
쉽게 풀어쓴 C언어 Express 제7장 반복문 C Express Slide 1 (of 27)
1.4 중첩된 한정기호 (Nested Quantifiers) 이산수학 (Discrete Mathematics)
MATLAB
벡터의 공간 이문현.
문제 2명의 사형수가 있다. 둘에게는 검정색 모자와 흰색 모자를 임의로 씌우는데, 자기가 쓴 모자의 색은 절대로 알 수가 없다. 서로 상대의 모자색만을 볼 수 있고, 이들이 살기 위해선 자신의 쓴 색의 모자를 맞춰야 한다. 단, 둘 중 한명만이라도 자신이 쓴 모자의 색을.
Quiz #7 다음 수들을 합병 정렬과 퀵 정렬 알고리즘을 이용하여 오름 차순으로 정렬하였을 때, 데이터 이동 회수를 각각 구하라. 여러분은 정렬 과정을 단계별로 보이면서 이동 회수를 추적해야 한다. 단, 퀵 정렬시에 피봇으로 배열의 왼쪽 첫 번째 원소를 선택한다. 5.
5-9. 전기 에너지가 편리한 이유는? 학습 주제 < 생각열기 >
수학8가 대한 92~95 쪽 Ⅳ. 연립방정식 1. 연립방정식과 그 풀이 및 활용 >끝내기전에(9/9) 끝내기 전에.
7장. 다양한 형태의 반복문. 7장. 다양한 형태의 반복문 7-1 반복문이란? 반복문의 기능 세 가지 형태의 반복문 특정 영역을 특정 조건이 만족하는 동안에 반복 실행하기 위한 문장 7-1 반복문이란? 반복문의 기능 특정 영역을 특정 조건이 만족하는 동안에 반복.
Metal Forming CAE Lab., Gyeongsang National University
좀비생존카드게임 좀비어택By 단재학교.
연립방정식 활용 수학8가 대한 87~89 쪽 Ⅳ. 연립방정식
이산수학(Discrete Mathematics)  명제의 동치 (Propositional Equivalence)
이산수학 담당교수 : 박미경 1.
Choi Seong Yun 컴퓨터 프로그래밍 기초 #06 : 반복문 Choi Seong Yun
합집합과 교집합이란 무엇인가? 01 합집합 두 집합 A, B에 대하여 A에 속하거나 B에 속하는 모든 원소로 이루어진 집합을 A와 B의 합집합이라고 하며, 기호 A∪B로 나타낸다. A∪B ={x | x∈A 또는 x∈B}
5장 선택제어문 if 선택문 switch-case 선택문 다양한 프로그램 작성 조건 연산자.
2. Boole 대수와 논리 게이트.
약식 진리표  ∧ ∨ → ↔  =.
텍스트 분석 기초.
⊙ 이차방정식의 활용 이차방정식의 활용 문제 풀이 순서 (1)문제 해결을 위해 구하고자 하는 것을 미지수 로 정한다.
1. 일반적인 지수.
함수(Function) ◈ 함수의 개념 및 사용 이유 ◈ 함수 정의, 호출 및 선언 ◈ 지역변수와 전역변수 ◈ return 문
수학10-나 1학년 2학기 Ⅱ.부등식의 영역 2. 연립부등식의 영역 (3/5) 부등식 영역 수업계획 수업활동.
Ping Test.
회귀함수와 순서도 Recursive Function Flow Chart
연습문제
약식 진리표를 이용한 타당성 증명 진리표 그리기 방법의 한계
단원 02. 기계를 구성하는요소(기계요소) (198p) 학습목표 1. 기계요소를 분류하여 설명할 수 있다. 2
3장, 마케팅조사의 일번적 절차 마케팅 조사원론.
원의 방정식 원의 방정식 x축, y축에 접하는 원의 방정식 두 원의 위치 관계 공통접선 원과 직선의 위치 관계
Homework #12 (1/2) 프로그램을 작성하고, 프로그램과 실행 결과를 프린트하여 제출한다.
1. 접선의 방정식 2010년 설악산.
정의역, 공역, 치역 수학 7-가 함수 > 함수의 뜻 > 5-6/14 수업계획 수업활동 [제작의도]
7장. 다양한 형태의 반복문. 7장. 다양한 형태의 반복문 7-1 반복문이란? 반복문의 기능 세 가지 형태의 반복문 특정 영역을 특정 조건이 만족하는 동안에 반복 실행하기 위한 문장 7-1 반복문이란? 반복문의 기능 특정 영역을 특정 조건이 만족하는 동안에 반복.
학습 주제 p 끓는점은 물질마다 다를까.
교독문 134번 부활절(2).
6-3. 지질시대의 구분.
문장제 쉽게 풀기 -최소공배수 응용 문제.
양심적 병역거부는 수용되어야 하는가? 양정모 기계설계 자동화 공학부.
이산수학(Discrete Mathematics)  술어와 한정기호 (Predicates and Quantifiers)
3장 (2) 구문과 의미론 순천향대학교 컴퓨터공학과 하상호.
수학 3학년 1학기 2. 덧셈과 뺄셈 재미있는 놀이 수업 계획 수업 활동.
I. 수와 식 1. 유리수와 순환소수.
초파리.
하나님의 말씀 오직 여호와는 참 하나님이시요 살아계신 하나님이시요 영원한 왕이시라 예레미야 10장 10절 말씀 -아멘-
수학10-나 1학년 2학기 Ⅱ.부등식의 영역 3. 부등식의 영역에서 최대, 최소(5/5) 부등식 영역 수업계획 수업활동.
레크리에이션과 여가 배장섭.
수학 2 학년 1 학기 문자와 식 > 부 등 식 ( 1 / 2 ) 일차부등식의 풀이.
II-1 단항식의 계산 01 소인수분해 지수법칙 지수법칙 지수법칙⑴ 3개 2개 5개 3+2 m개 n개 (m+n)개 합.
진리표를 이용한 타당성 증명 진리표(truth table) : 단순 문장들이 진리값을 상이하게 가질 수 있는 가능한 모든 경우를 남김없이 열거한 표 (ex) 오늘은 날씨가 맑거나 비가 올 것이다. 오늘은 날씨가 맑다 비가 온다 오늘은 날씨가 맑거나 비가 올 것이다. T.
꽃잎의 수로 피보나치 수열하기 장전초등학교 6학년 신찬유.
Presentation transcript:

술어명제의 해석  ∧ ∨ → ↔  =

[연습] x ∊ {a, b, c}일 때 다음 명제의 해석은? (1) ∃x∀y A(x,y) (2) ∀x(A(x)→B(x)) (3) ∀xA(x) →∃xA(x)

[연습] x ∊ {a, b, c}일 때 다음 명제의 해석은? (1) ∃x∀y A(x,y) ∃x [A(x,a)∧A(x,b)∧A(x,c)] [A(a,a)∧A(a,b)∧A(a,c)] ∨[A(b,a)∧A(b,b)∧A(b,c)] ∨[A(c,a)∧A(c,b)∧A(c,c)] [A(a,a)∧A(a,b)∧A(a,c)] ∨[A(b,a)∧A(b,b)∧A(b,c)] ∨[A(c,a)∧A(c,b)∧A(c,c)]

[연습]위의 (1),(2)의 x를 x ∊ {a, b}로 하여 해석하여 각 등식을 학인해 보시오! 5. 정량자의 변환 드 모어건의 법칙을 이용하면 정량자들은 변환될 수 있다. [정리1]부정정량자의 변환;   (1) ~∀x F(x) ≡ ∃x ~F(x)   (2) ~∃x F(x) ≡ ∀x ~F(x) 증명: 해석의 이용 에 의함 [연습]위의 (1),(2)의 x를 x ∊ {a, b}로 하여 해석하여 각 등식을 학인해 보시오!

x ∊ {a, b} 부정정량자의 변환; (1) ~∀x F(x) ≡ ∃x ~F(x) ~∀x F(x) ≡ ~(Fa ∧ Fb)

부정정량자의 변환;   (2) ~∃x F(x) ≡ ∀x ~F(x)    x ∊ {a, b} ~∃x F(x) ≡ ~(Fa ∨ Fb) ≡ ~Fa ∧ ~Fb (드-모어건의 빕칙) ∀x ~F(x) ≡ ~Fa ∧ ~Fb

[정리2]긍정정량자의 변환; (1) ∀x F(x) ≡ ~∃x~F(x) (2) ∃x F(x) ≡ ~∀x~F(x) 증명:  [정리1]에서 ‘F≡G 이면 ~F≡~G’ 임을 용하여 유도함. [정리1]부정정량자의 변환;   (1) ~∀x F(x) ≡ ∃x ~F(x)   (2) ~∃x F(x) ≡ ∀x ~F(x)

6. 있음과 없음 – ∃x F(x) : F인 것이 있다.  어떤 것은 F이다. ~∃x F(x) : F인 것은 없다/존재하지 않는다. : 어떤 것이 F 이라는 것은 거짓이다. ≡ ∀x ~F(x): 어떠한 것도 F는 아니다

[연습1]다음 문장을 전칭문장으로 만들어 보시오. (1) 부자이면서 행복한 자는 없다. (2) 어미 없는 동물은 없다. (3) 최대 자연수는 없다. [연습2] 다음문장을 특칭 문장으로 만들어 보시오. (1) 모든 부자는 불행하다(행복하지 않다). (2) 모든 동물은 어미를 가지고 있다. (3) 모든 자연수는 각각 더 큰 자연수를 가지고 있다.

문제: 이 두 문장의 뜻이 같은 이유는? 연습1 (1) 부자이면서 행복한 자는 없다. 연습2 (1) 모든 부자는 행복하지 않다. 연습1 (1) 부자이면서 행복한 자는 없다. ~∃x [부자(x) ∧ 행복(x)] 연습2 (1) 모든 부자는 행복하지 않다. ∀x [부자(x) → ~행복(x)] 문제: 이 두 문장의 뜻이 같은 이유는?

≡ ~∃x [부자(x) ∧ 행복(x)] ≡ ∀x ~[부자(x) ∧ 행복(x)] ≡ ∀x [~부자(x) ∨ ~ 행복(x)] 연습1 (1) (1) 부자이면서 행복한 자는 없다. 연습2 (1) (2) 모든 부자는 행복하지 않다. 이 두 문장의 뜻이 같은 이유는? (1) 부자이면서 행복한 자는 없다. ≡ ~∃x [부자(x) ∧ 행복(x)] ≡ ∀x ~[부자(x) ∧ 행복(x)] ≡ ∀x [~부자(x) ∨ ~ 행복(x)] ≡ ∀x [부자(x) → ~행복(x)] ≡ 모든 부자는 행복하지 않다. (2) 모든 부자는 행복하지 않다.