집합론 솔루션 (경문사)
페이지 정보
작성일 20-04-15 02:36
본문
Download : 집합론 솔루션.zip
일부 한글 솔루션도 포함되어있습니다. 경문사 저자 You-Feng Lin, Shwu-Yeng T. Lin 저 입니다.
≡ ～(p∧(q∧～r)) Def.4, D.N.
(Sol.) (p∨q)∧～p≡～p∧(p∨q) Com.
p∨(p∧q) ≡ p. ///
≡(～p∧p)∨(～p∧q) Dist.
≡～p∧q Th. 7(b)
You-Feng Lin
(b) p∨(p∧q) ≡ p
≡(～p∧q)∨c Com.
≡ ～((p∧q)∧～r) Assoc.
일부 한글 솔루션도 포함되어있습니다.
(a) p∧(p∨r) ≡ p.
(p∨q)∧～p≡～p∧(p∨q)
다. Exa. 6. Prove (p∨q)∧~p ⇒ p (선언삼단논법) by deductive reasoning.
(Sol.) (p→(q→r)) ≡ (p→～(q∧～r)) Def.4
Exa. 7. Prove (p∧q→r) ≡ [(p→(q→r)] (이출법칙) by deductive reasoning.
레포트 > 자연과학계열
순서
설명
집합론 솔루션 (경문사)
≡ (p∧q～r) Def.4
p ∨ (p∧q) ↔ p : a tautology
⇒ q Simp.
≡c∨(～p∧q) ～p∧q≡c
11. Prove Absorption Laws (흡수법칙)
Hence p ∧ (p∨r) ↔ p : a tautology
(p∧q→r) ≡ (p→(q→r))
(Proof) (a) (b)
Download : 집합론 솔루션.zip( 46 )
i.e. p∧(p∨r) ≡ p.
p, q, r : statements.
Exercise 1.3
경문사 저자 You-Feng Lin, Shwu-Yeng T. Lin 저 입니다.
