|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens z: {0 j4 x- q0 l
P --> Q, 因為 P 所以 Q
1 e6 v/ m% g. {: W3 c$ g, v. u' C) _
Modus tollendo tollens
- a, v$ v# g2 o7 ^+ G! t! N; }P --> Q, 取得 ~P 所以 ~Q9 m$ c/ Q1 r* N1 l# x% P
- E6 ~: J! k9 ~' _" x! }; o
Disjunctive syllogism
8 v' X/ f' _4 i) E1 A+ \, v/ _0 R7 wP or Q, 取得 ~P 所以 Q
$ N, @ F+ _& y- ]% N/ ZP or Q, 取得 ~Q 所以 P: h) E$ s; A' `6 d) v: p6 I
" T0 k t/ q8 C. m
Conjunctive syllogism
; `4 Z6 U# A+ c~(P & Q), 取得 P 所以 ~Q
9 `4 J! [1 q; e: \' a* q~(P & Q), 取得 Q 所以 ~P5 Q; n# @5 p, R6 A
; l2 y1 W7 j" _7 z2 e/ V4 U9 EHypothetical syllogism) A. K3 |9 y' P$ j
P --> Q, 取得 Q --> R 所以 P --> R" _, U! m3 f7 R* s
; |# r# F) W8 G
De Morgan's theorem5 l1 u0 v+ ]' B2 T; H @, Z
~(P & Q) 所以 ~P or ~Q
+ j- u* {- B2 R% c9 V~(P or Q) 所以 ~P & ~Q |
|