     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
" t* I$ @8 l T0 G+ V7 Z- B6 |P --> Q, 因為 P 所以 Q
) o. m( b* F( x3 Q e% R! C+ }, |$ @& ^( P
Modus tollendo tollens
' v/ k. l" Y* t8 UP --> Q, 取得 ~P 所以 ~Q
& u# c& Z- |2 o% O
! V E0 B3 a g4 RDisjunctive syllogism
8 l4 H K/ T6 I+ t& [- JP or Q, 取得 ~P 所以 Q9 [3 {0 {$ b1 D$ M
P or Q, 取得 ~Q 所以 P* j5 P, B9 I4 D1 C0 u+ j( `2 H
- _& a/ e" e) q3 k V) z; o+ F+ \/ s5 uConjunctive syllogism
7 [: j, F3 G1 S6 X$ n, Q( x2 {3 e~(P & Q), 取得 P 所以 ~Q
% }: Z. k0 e8 `3 n# @~(P & Q), 取得 Q 所以 ~P
" d8 }3 `7 }4 p/ n" G& B
. `3 a; j& N& P, VHypothetical syllogism
, G' o3 I- i: aP --> Q, 取得 Q --> R 所以 P --> R
. K, ~% L: J3 e6 b) P, y5 G
, q4 g' F4 P& o ^De Morgan's theorem
6 \1 ?/ N; M7 M! m( w~(P & Q) 所以 ~P or ~Q
; m, C8 ?/ o( N9 g( Z: R) Y. S8 b~(P or Q) 所以 ~P & ~Q |
|