     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens# c; O8 A1 p$ s) [& T! D
P --> Q, 因為 P 所以 Q
! i0 T" J* Y" Q5 X* c, m
9 W* d# M6 R) K$ p; Y$ QModus tollendo tollens
, t# e1 p6 X# D5 Q) X. U; V9 rP --> Q, 取得 ~P 所以 ~Q
7 x5 X3 L R+ g2 C' d
" F6 z% \1 ?9 ?" O. d( p) _Disjunctive syllogism
% y2 M" s7 \# f8 V" `" LP or Q, 取得 ~P 所以 Q+ w3 Z1 x8 v- j/ D
P or Q, 取得 ~Q 所以 P' a9 s# T- i; o" S1 S& Y2 J/ y
1 z) L& U% \+ vConjunctive syllogism
3 _ L$ m( N: \# I u~(P & Q), 取得 P 所以 ~Q( _. b o' l! z% x* ?4 |
~(P & Q), 取得 Q 所以 ~P- F1 d; X. P5 M9 W* E2 S {
7 P9 F z Z, N8 K1 L
Hypothetical syllogism, U; k w, v' i7 z
P --> Q, 取得 Q --> R 所以 P --> R
2 i" G' @5 T7 @/ t! A; K4 {
" \( L2 C, Y9 T0 e: mDe Morgan's theorem5 p; a# t: n, z8 K) c* x! ^' k
~(P & Q) 所以 ~P or ~Q
9 b8 H- t4 l) u9 a~(P or Q) 所以 ~P & ~Q |
|