|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
$ G" T( O. x( Z. {4 mP --> Q, 因為 P 所以 Q( Q/ g! Q9 n/ M1 a. G. ]$ L
' ^) m, h9 z# m ] l4 S) S U0 C7 E
Modus tollendo tollens
% [' p6 N* r% _8 P9 |! W QP --> Q, 取得 ~P 所以 ~Q/ K6 F( b* p3 Z2 v4 n7 S
! J1 P4 z; j& u" k( i3 a
Disjunctive syllogism# M/ b# k4 q% l: W) Y
P or Q, 取得 ~P 所以 Q
( J7 g- m# e! x. i. _+ o' _P or Q, 取得 ~Q 所以 P
" {1 k0 }6 g0 Y8 I" P0 m1 i: t2 h% O8 J" y3 p+ Q, R
Conjunctive syllogism
$ A' d) e& c$ ]! A" ?) v6 [~(P & Q), 取得 P 所以 ~Q
3 O! b+ s( M2 N; N3 O~(P & Q), 取得 Q 所以 ~P
" D! m6 h3 n$ \ ]$ B8 n6 d' m8 ^3 d6 A1 c" e
Hypothetical syllogism- _0 [5 {, j3 D& p2 s. o$ h; S- T
P --> Q, 取得 Q --> R 所以 P --> R( \1 X: b2 `( \* X) e( @" |
2 _( H+ A2 o( k" g* Y0 T5 {* |
De Morgan's theorem5 H( J; ]3 T& o: `" m/ b
~(P & Q) 所以 ~P or ~Q8 f+ |5 @0 G6 j( Y* m, c$ ]
~(P or Q) 所以 ~P & ~Q |
|