Report ÀÚ·á °æ¹®»ç ÁýÇÕ·Ð 1Àå ·¹Æ÷Æ® ·¹Æý
[¸ñÂ÷]
[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 T
T T T T T T T
T F F T T F F
T T T T F T T
T T T T F T F
T T T T T
F T T F F
T T F T T
T T F T F
F T T F F
F T T F F
F T F T F
F T F T F
T T F T T
F T F T F
T T F T T
T T F T F
T T F T F
F T F T F
T T F T F
T T F T F
(b) (p¡æq)¡ü(r¡æs)¨ç ¢¡ (~q¡ý~s ¡æ ~p¡ý~r). (Æı«Àû µô·¹¸¶)
(p¡æq)¡ü(r¡æs) ¢¡ (~q¡ü~s ¡æ ~p¡ü~r).
(Proof)
Hence (p¡æq)¡ü(r¡æs) ¡æ (~q¡ý~s ¡æ ~p¡ý~r) : a tautology
(p¡æq)¡ü(r¡æs) ¡æ (~q¡ü~s ¡æ ~p¡ü~r) : a tautol¡¦(»ý·«)
(À̹ÌÁö¸¦ Ŭ¸¯ÇϽøé È®´ë/¹Ì¸®º¸±â¸¦ º¼ ¼ö ÀÖ½À´Ï´Ù.)
[¹®¼Á¤º¸]
¹®¼ºÐ·® : 10 Page
¹®¼Á¾·ù : HWP ¹®¼
ÆÄÀÏÅ©±â : 25Kb
ű×(#) : #Report #°æ¹®»ç #ÁýÇÕ·Ð #1Àå #·¹Æ÷Æ®
ÀÚ·áNo(pk) : 11047921