[hot] [해법] 집합론, set theory 경문사 연습문제
페이지 정보
작성일 20-08-21 00:31본문
Download : 집합론.zip
x2.3 Unions and Intersections
x2.4 Complements
따라서, 수학적 귀납법에 의하여 모든 자연수 n에 관하여 주어진 등식은 성립한다.
(a)를 이용하여 증명하면,
x1.7 Proof of Validity
≡ (p∧q1)∨(p∧q2)∨ … ∨(p∧qk) (n=k참이라 가정)
Exercise1.8
자료를내려받다시 오류가 발생하는 경우가 생기네요.
저자:you-feng lin
≡ {p∧(q1∨q2∨ … ∨qk)}∨(p∧qk+1)
집합론
∴n=k+1일 때에도 주어진 등식 성립
9. 다음 일반분배법칙을 증명하여라.
x1.4 Contradiction
레포트 > 기타
2. The Concept of Sets
~{(~p1)∧(~p2)∧ … ∧(~pn)} ≡ ~(~p1)∨~(~p2)∨ … ∨~(~pn) (by De M.)
x2.5 Venn Diagrams
~(p1∨p2∨ … ∨pn) ≡ ~{~(~p1∧~p2∧ … ∧~pn)} (위의 식)
따라서, 수학적 귀납법에 의하여 모든 자연수 n에 관하여 주어진 등식은 성립한다.
x1.1 Statements and Their Connectives
순서
(a) p∧(q1∨q2∨ … ∨qn) ≡ (p∧q1)∨(p∧q2)∨ … ∨(p∧qn)
*해피레포트(report) 측의 일시적인 다운 오류인지 몰라도
x1.2 Three More Connectives
(b) p∨(q1∧q2∧ … ∧qn) ≡ (p∨q1)∧(p∨q2)∧ … ∧(p∨qn)
n=1,2 일 때, 성립 (by Dist.)
x1.6 Quanti¯cation Rules
≡ {p∨(q1∧q2∧ … ∧qk)}∧(p∨qk+1)
∴n=k+1일 때에도 주어진 등식 성립
∴ 일 때에도 주어진 등식 성립
이흥천옮김
x1.8 Mathematical Induction
(참)
출판사:경문사
x1.3 Tautology, Implication, and Equivalence
내용이 좀 다르긴하더구요~
∴n=k+1일 때에도 주어진 등식 성립
x2.6 Indexed Families of Sets
Download : 집합론.zip( 73 )
하나는 1장부터 7장까지 있는 .pdf 파일입니다.
x1.5 Deductive Reasoning
1. Elementary Logic
많은 도움 되시길 바래요~
따라서, 수학적 귀납법에 의하여 모든 자연수 n에 관하여 주어진 등식은 성립한다. 하나는 1장부터 7장까지 있는 .hwp 파일이구요 하나는 1장부터 7장까지 있는 .pdf 파일입니다. *해피레포트 측의 일시적인 다운 오류인지 몰라도 다운로드시 오류가 발생하는 경우가 생기네요. 이럴때, 저에게 메일을 주시면 메일로 보내드릴게요~ 많은 도움 되시길 바래요~
[해법] 집합론, set theory 경문사 연습문제
(n=k참이라 가정)
≡~p1∨~p2∨ … ∨~pk∨~pk+1 (n=k를 참이라 가정)
n=k 일 때, 참이라 가정하면, n=k+1일 때, 식은 다음과 같다. 출판사:경문사 저자:you-feng lin 이흥천옮김 2가지 버전의 솔루션이 있습니다. 내용이 좀 다르긴하더구요~ 부록으로 집합론, 내용정리 파일도 첨부합니다.
n=1,2 일 때, 성립 (by Dist.)
Contents
집합론 set theory 경문사 연습문제 입니다.
설명
4. 모든 자연수 에 대하여 다음 등식이 성립함을 수학적 귀납법으로 증명하여라.
n=k 일 때, 참이라 가정하면, n=k+1일 때, 식은 다음과 같다.
≡ p1∨p2∨ … ∨pn (by D.N.)
(b) ~(p1∨p2∨ … ∨pn) ≡ ~p1∧~p2∧ … ∧~pn
따라서, 수학적 귀납법에 의하여 모든 자연수 에 관하여 주어진 등식은 성립한다.
n=k 일 때, 참이라 가정하면, n=k+1일 때, 식은 다음과 같다





2가지 버전의 해법이 있습니다.
(a) ~(p1∧p2∧ … ∧pn) ≡ ~p1∨~p2∨ … ∨~pn
∴(b) : true
p∧{(q1∨q2∨ … ∨qk)∨qk+1} ≡ p∧(q1∨q2∨ … ∨qk)∨(p∧qk+1) (by Dist.)
p∨{(q1∧q2∧ … ∧qk)∧qk+1} ≡ p∨(q1∧q2∧ … ∧qk)∧(p∨qk+1) (by Dist.)
≡ (p∨q1)∧(p∨q2)∧ … ∧(p∨qk)∧(p∨qk+1)
≡ ~p1∧~p2∧ … ∧~pn (by D.N.)
하나는 1장부터 7장까지 있는 .hwp 파일이구요
x2.2 Speci¯cation of Sets
8. 다음 일반 드 모르간의 법칙을 증명하여라.
n=1,2 일 때, 성립 (by De M.)
~{(p1∧p2∧ … ∧pk)∧pk+1} ≡ ~(p1∧p2∧ … ∧pk)∨~pk+1 (by De M.)
일 때, 참이라 가정하고 양변에 을 더하면,
x2.1 Sets and Subsets
이럴때, 저에게 메일을 주시면 메일로 보내드릴게요~
집합론 set theory 경문사 연습문제 입니다.
부록으로 집합론, 내용정리(arrangement) 파일도 첨부합니다.
다.