[Report]경문사 집합론 1장 리포트
페이지 정보
작성일 21-11-09 14:55본문
Download : [Report]경문사 집합론 1장 레포트.hwp
[Report]경문사 집합론 1장 레포트 , [Report]경문사 집합론 1장 레포트기타레포트 , [Report]경문사 집합론 1장 레포트
[Report]경문사 집합론 1장 리포트
레포트/기타
설명
![[Report]경문사%20집합론%201장%20레포트_hwp_01.gif](http://www.allreport.co.kr/View/%5BReport%5D%EA%B2%BD%EB%AC%B8%EC%82%AC%20%EC%A7%91%ED%95%A9%EB%A1%A0%201%EC%9E%A5%20%EB%A0%88%ED%8F%AC%ED%8A%B8_hwp_01.gif)
![[Report]경문사%20집합론%201장%20레포트_hwp_02.gif](http://www.allreport.co.kr/View/%5BReport%5D%EA%B2%BD%EB%AC%B8%EC%82%AC%20%EC%A7%91%ED%95%A9%EB%A1%A0%201%EC%9E%A5%20%EB%A0%88%ED%8F%AC%ED%8A%B8_hwp_02.gif)
![[Report]경문사%20집합론%201장%20레포트_hwp_03.gif](http://www.allreport.co.kr/View/%5BReport%5D%EA%B2%BD%EB%AC%B8%EC%82%AC%20%EC%A7%91%ED%95%A9%EB%A1%A0%201%EC%9E%A5%20%EB%A0%88%ED%8F%AC%ED%8A%B8_hwp_03.gif)
![[Report]경문사%20집합론%201장%20레포트_hwp_04.gif](http://www.allreport.co.kr/View/%5BReport%5D%EA%B2%BD%EB%AC%B8%EC%82%AC%20%EC%A7%91%ED%95%A9%EB%A1%A0%201%EC%9E%A5%20%EB%A0%88%ED%8F%AC%ED%8A%B8_hwp_04.gif)
[Report]경문사 집합론 1장 리포트
[Report]경문사,집합론,1장,레포트,기타,레포트
Download : [Report]경문사 집합론 1장 레포트.hwp( 26 )
순서
[Report]경문사 집합론 1장 보고서
Theorem 5. p, q, r, s : statememts.
(a) (p→q)∧(r→s) ⇒ (p∨r → q∨s). (구성적 딜레마)
(p→q)∧(r→s) ⇒ (p∧r → q∧s).
(Proof)
Hence (p→q)∧(r→s) → (p∨r → q∨s) : a tautology
(p→q)∧(r→s) → (p∧r → q∧s) : a tautology
i.e. (p→q)∧(r→s) ⇒ (p∨r → q∨s).
(p→q)∧(r→s) ⇒ (p∧r → q∧s). ///
p q r s
(p→q) ∧ (r→s) → (p∨r → q∨s)
(p→q)∧(r→s) → (p∧r → q∧s)
T T T T
T T T F
T T F T
T T F F
T F T T
T F T F
T F F T
T F F F
F T T T
F T T F
F T F T
F T F F
F F T T
F F T F
F F F T
F F F F
T T T T T T T
T F F T T T T
T T T T T T T
T T T T T T T
F F T T T T T
F F F T T F F
F F T T T T T
F F T T T F F
T T T T T T T
T F F T T T T
T T T T F T T
T T T T F T …(skip)
다.