|
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
1#
發表於 2006-10-20 12:48 AM
| 顯示全部帖子
Modus ponendo ponens
4 L0 W; ^* p6 A) _P --> Q, 因為 P 所以 Q( [3 K$ t2 h* g( p& L5 P2 m
}. ?5 P, q+ f: W: E# q! ?) a
Modus tollendo tollens
9 X. @" ?' g0 B/ yP --> Q, 取得 ~P 所以 ~Q
4 w" c& J4 r$ J7 m! Z0 C! T0 l: b/ P) W; u9 t+ ?/ P$ V& S" S
Disjunctive syllogism
" g: c+ c) b, D# [9 F1 eP or Q, 取得 ~P 所以 Q+ E+ V3 B8 U+ J" b3 A* j" q- H( V
P or Q, 取得 ~Q 所以 P
* a: D( ]$ }! m4 p& B% }/ |' Y6 v- Z
Conjunctive syllogism- ?, D2 }. Y }/ b/ v
~(P & Q), 取得 P 所以 ~Q2 V1 V% T: l1 y/ @
~(P & Q), 取得 Q 所以 ~P; B3 i8 P& Z7 L
2 v: o4 [; N& r$ }" H- s" [Hypothetical syllogism
+ h+ F1 i/ n3 A# OP --> Q, 取得 Q --> R 所以 P --> R
8 e9 T- _' Z9 n3 R% |
# e1 C. z7 \# s+ a( _De Morgan's theorem) N% {% \9 }/ p" @
~(P & Q) 所以 ~P or ~Q
' m6 d$ F. ^+ \~(P or Q) 所以 ~P & ~Q |
|
