경문사 집합론 , set theory 해결책 연습문제
페이지 정보
작성일 19-11-02 13:55
본문
Download : 집합론[3].zip
부록으로 집합론, 내용요점 파일도 첨부합니다.출판사:경문사저자:you-feng lin 이흥천옮김2가지 버전의 솔루션이 있습니다.하나는 1장부터 7장까지 있는 .hwp 파일이구요하나는 1장부터 7장까지 있는 .pdf 파일입니다.내용이 좀 다르긴하더구요~ 부록으로 집합론, 내용정리 파일도 첨부합니다.
p∧{(q1∨q2∨ … ∨qk)∨qk+1} ≡ p∧(q1∨q2∨ … ∨qk)∨(p∧qk+1) (by Dist.)
≡ {p∧(q1∨q2∨ … ∨qk)}∨(p∧qk+1)
≡ (p∧q1)∨(p∧q2)∨ … ∨(p∧qk) (n=k참이라 가정)
∴n=k+1일 때에도 주어진 등식 성립
따라서, 수학적 귀납법에 의하여 모든 자연수 n에 관하여 주어진 등식은 성립한다.
Contents
1. Elementary Logic
x1.1 Statements and Their Connectives
x1.2 Three More Connectives
x1.3 Tautology, Implication, and Equivalence
x1.4 Contradiction
x1.5 Deductive Reasoning
x1.6 Quanti¯cation Rules
x1.7 Proof of Validity
x1.8 Mathematical Induction
2. The Concept of Sets
x2.1 Sets and Subsets
x2.2 Speci¯cation of Sets
x2.3 Unions and Intersections
x2.4 Complements
x2.5 Venn Diagrams
x2.6 Indexed Families of Sets
설명
순서
경문사 집합론 , set theory 해결책 연습문제
이흥천옮김
다.
p∨{(q1∧q2∧ … ∧qk)∧qk+1} ≡ p∨(q1∧q2∧ … ∧qk)∧(p∨qk+1) (by Dist.)
≡ {p∨(q1∧q2∧ … ∧qk)}∧(p∨qk+1)
≡ (p∨q1)∧(p∨q2)∧ … ∧(p∨qk)∧(p∨qk+1)
(n=k참이라 가정)
∴n=k+1일 때에도 주어진 등식 성립
따라서, 수학적 귀납법에 의하여 모든 자연수 n에 관하여 주어진 등식은 성립한다. , 경문사 집합론 , set theory 솔루션 연습문제기타솔루션 , 솔루션
하나는 1장부터 7장까지 있는 .pdf 파일입니다.솔루션,기타,솔루션
![집합론[3]_zip_01.gif](http://www.allreport.co.kr/View/%EC%A7%91%ED%95%A9%EB%A1%A0%5B3%5D_zip_01.gif)
![집합론[3]_zip_02.gif](http://www.allreport.co.kr/View/%EC%A7%91%ED%95%A9%EB%A1%A0%5B3%5D_zip_02.gif)
![집합론[3]_zip_03.gif](http://www.allreport.co.kr/View/%EC%A7%91%ED%95%A9%EB%A1%A0%5B3%5D_zip_03.gif)
![집합론[3]_zip_04.gif](http://www.allreport.co.kr/View/%EC%A7%91%ED%95%A9%EB%A1%A0%5B3%5D_zip_04.gif)
2가지 버전의 해결책이 있습니다.
(b) p∨(q1∧q2∧ … ∧qn) ≡ (p∨q1)∧(p∨q2)∧ … ∧(p∨qn)
n=1,2 일 때, 성립 (by Dist.)
n=k 일 때, 참이라 가정하면, n=k+1일 때, 식은 다음과 같다.
집합론 set theory 경문사 연습문제 입니다.
8. 다음 일반 드 모르간의 법칙을 증명하여라.
(a) ~(p1∧p2∧ … ∧pn) ≡ ~p1∨~p2∨ … ∨~pn
n=1,2 일 때, 성립 (by De M.)
n=k 일 때, 참이라 가정하면, n=k+1일 때, 식은 다음과 같다
~{(p1∧p2∧ … ∧pk)∧pk+1} ≡ ~(p1∧p2∧ … ∧pk)∨~pk+1 (by De M.)
≡~p1∨~p2∨ … ∨~pk∨~pk+1 (n=k를 참이라 가정)
∴n=k+1일 때에도 주어진 등식 성립
따라서, 수학적 귀납법에 의하여 모든 자연수 n에 관하여 주어진 등식은 성립한다.
솔루션/기타
하나는 1장부터 7장까지 있는 .hwp 파일이구요
출판사:경문사
Download : 집합론[3].zip( 58 )
내용이 좀 다르긴하더구요~
저자:you-feng lin
집합론 set theory 경문사 연습문제 입니다.
(b) ~(p1∨p2∨ … ∨pn) ≡ ~p1∧~p2∧ … ∧~pn
(a)를 이용하여 증명하면,
~{(~p1)∧(~p2)∧ … ∧(~pn)} ≡ ~(~p1)∨~(~p2)∨ … ∨~(~pn) (by De M.)
≡ p1∨p2∨ … ∨pn (by D.N.)
~(p1∨p2∨ … ∨pn) ≡ ~{~(~p1∧~p2∧ … ∧~pn)} (위의 식)
≡ ~p1∧~p2∧ … ∧~pn (by D.N.)
∴(b) : true
9. 다음 일반분배법칙을 증명하여라.
(a) p∧(q1∨q2∨ … ∨qn) ≡ (p∧q1)∨(p∧q2)∨ … ∨(p∧qn)
n=1,2 일 때, 성립 (by Dist.)
n=k 일 때, 참이라 가정하면, n=k+1일 때, 식은 다음과 같다.
Exercise1.8
4. 모든 자연수 에 대하여 다음 등식이 성립함을 수학적 귀납법으로 증명하여라.
(참)
일 때, 참이라 가정하고 양변에 을 더하면,
∴ 일 때에도 주어진 등식 성립
따라서, 수학적 귀납법에 의하여 모든 자연수 에 관하여 주어진 등식은 성립한다.
