|
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
1#
發表於 2006-10-20 12:48 AM
| 顯示全部帖子
Modus ponendo ponens
0 j `+ h' U- k; q) T9 b3 g, gP --> Q, 因為 P 所以 Q
z5 u! a' g9 ~% _2 H$ i" K5 X3 r- w B0 K5 f# }" y
Modus tollendo tollens
& F, B |6 [! K* _P --> Q, 取得 ~P 所以 ~Q
" _. A1 _$ ], W
Y4 r+ G- k) x; t& w! M9 oDisjunctive syllogism
% p9 u, f! Y8 O$ s0 i& H; c1 v8 g, LP or Q, 取得 ~P 所以 Q4 v* @6 J) ~& A* c. X
P or Q, 取得 ~Q 所以 P3 t+ k, _9 }8 E* h' B. n
8 t( O& g) T ] N! T4 e
Conjunctive syllogism
- X3 `& |- x% C~(P & Q), 取得 P 所以 ~Q A( ? Q2 @0 L1 d6 G9 b
~(P & Q), 取得 Q 所以 ~P( l+ F# Y* U; n% z& p. V& L
/ d8 n' ]1 x+ R' I u5 v/ C) y- r
Hypothetical syllogism) {8 A; |* Q$ o9 z
P --> Q, 取得 Q --> R 所以 P --> R
# T1 ?, {6 P3 v9 v3 a5 i/ D1 z, c0 c1 I% X* W! r
De Morgan's theorem
. x0 p0 S9 F+ F; P% R% W~(P & Q) 所以 ~P or ~Q
, m( p& B1 c! ?' i- b2 i) e3 C/ q. w~(P or Q) 所以 ~P & ~Q |
|
