|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
/ K. h7 W4 C" t0 i5 p& T! q9 CP --> Q, 因為 P 所以 Q8 q5 I6 ^% s) `' x# S. B$ R
0 m, K' A A! S8 c' ^& u4 b
Modus tollendo tollens9 @7 l8 t" U% T, w
P --> Q, 取得 ~P 所以 ~Q
$ o0 V8 A/ d) ]$ a' I
|) N" z/ u. W! FDisjunctive syllogism
. R3 C/ x1 w; xP or Q, 取得 ~P 所以 Q
9 E0 \2 \& Q/ H* y+ `* @P or Q, 取得 ~Q 所以 P
/ L# [- I0 c- ?4 B/ L3 x$ x& | j" _
Conjunctive syllogism
' ]5 U/ B% U" o" X: u' l~(P & Q), 取得 P 所以 ~Q
; v+ t" W |5 C R; m. F~(P & Q), 取得 Q 所以 ~P; x5 [3 h# U) L' Z8 _
+ ^5 `8 ?3 E% d) |% E9 K o0 NHypothetical syllogism U. Y% J( f8 U* ?) W
P --> Q, 取得 Q --> R 所以 P --> R3 ]9 n M" C+ U. h0 b; `
3 ~: l, \) s+ y5 V' I# u* Z: i
De Morgan's theorem
9 y. k% @+ q" ? f- E~(P & Q) 所以 ~P or ~Q7 C7 l2 c9 x1 V y p X0 @
~(P or Q) 所以 ~P & ~Q |
|