|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens6 @9 u @9 D4 v! v
P --> Q, 因為 P 所以 Q' ?7 ]( F5 l- n( |/ g9 K% Z
; L0 w' n' g, l& F7 s9 K4 J
Modus tollendo tollens
$ `5 A t. @5 lP --> Q, 取得 ~P 所以 ~Q/ C C% }$ {- j! S
2 y1 D! e8 i3 n* d
Disjunctive syllogism2 _" g* A. z/ z
P or Q, 取得 ~P 所以 Q
% b7 |6 A6 p7 q0 N9 x: TP or Q, 取得 ~Q 所以 P& e6 o, K5 Y: Y( f7 H
! j& Y @ P0 G9 U0 v& S! ]Conjunctive syllogism
% b* _ i+ K* A& j( m6 q! C: T+ C~(P & Q), 取得 P 所以 ~Q* k$ u! e! t- s8 b. @
~(P & Q), 取得 Q 所以 ~P E0 g4 a* t' m. B# r
. |) k* b( V8 p7 {3 s$ U
Hypothetical syllogism- K; u1 x3 H! B- _# y
P --> Q, 取得 Q --> R 所以 P --> R9 Z" D1 G% x/ o6 P/ c5 K [* ? R
0 Q# w" v' Z3 y5 uDe Morgan's theorem; ~# i: O( o4 x
~(P & Q) 所以 ~P or ~Q7 ^ P6 r- j$ O" F2 y5 ]6 J) ?" l
~(P or Q) 所以 ~P & ~Q |
|