|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
8 j2 X/ U) F( z: B' TP --> Q, 因為 P 所以 Q' t2 f' I( r+ e) V
Z7 J& F2 e: z# M* w# W* d, q6 xModus tollendo tollens7 o: Y6 N" R7 G" ?0 b5 ?) O4 b! \
P --> Q, 取得 ~P 所以 ~Q" x) w8 R; t5 J: [3 B* _7 L
( n0 g& f9 D- T: N! z& v* U
Disjunctive syllogism6 O3 V- A2 `; N H+ m7 Y
P or Q, 取得 ~P 所以 Q) \9 d$ e0 E/ t/ r5 L: }, t
P or Q, 取得 ~Q 所以 P
5 O- p8 m7 d/ V9 a+ x
" b S; f C) n/ NConjunctive syllogism
( u; j( i: l A7 V~(P & Q), 取得 P 所以 ~Q
' K: m0 s; y$ `4 B~(P & Q), 取得 Q 所以 ~P
/ A k" E, N0 y5 x4 T. O4 j" M
9 t9 U4 ^) V. c1 a% qHypothetical syllogism
" P& D/ o' { v u+ S( F# yP --> Q, 取得 Q --> R 所以 P --> R# K# T( g/ G ?" _
$ z1 T+ }- i" R
De Morgan's theorem
" y% @1 X) V6 R: ?+ k~(P & Q) 所以 ~P or ~Q* k5 w- p3 G- R: ?" I Y) @
~(P or Q) 所以 ~P & ~Q |
|