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