|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens8 }& T5 Q, @+ V B0 O
P --> Q, 因為 P 所以 Q
) B, `. ]: t; a# o
6 l9 t8 T3 g' L9 I2 ]4 ^- zModus tollendo tollens
- m( _2 B' }4 s8 i$ zP --> Q, 取得 ~P 所以 ~Q0 d' |' i7 L7 X, d( g
5 v0 W J; o- F$ C( [& \, Q7 i; ^$ o& O, y
Disjunctive syllogism# Z0 r. k" t/ k4 E7 S
P or Q, 取得 ~P 所以 Q0 k) @7 r; `6 B, V) ^8 X' A p
P or Q, 取得 ~Q 所以 P) o0 K* k) V$ R/ L# X4 k
2 Z- R: N0 ~& l; { d7 q
Conjunctive syllogism( x1 L" c- D! Z6 \8 s- }
~(P & Q), 取得 P 所以 ~Q. w7 n7 L, Z' E. G8 u9 H
~(P & Q), 取得 Q 所以 ~P" ~4 f6 \8 t2 U3 @' c
4 {2 U' l. k6 a8 q( |Hypothetical syllogism2 \$ D$ S3 H n4 F
P --> Q, 取得 Q --> R 所以 P --> R
, P/ t3 _& Y) m( ?8 M: U% W
2 q( r7 w) g( g. F, g; IDe Morgan's theorem! u$ s# p: r6 d8 _0 t
~(P & Q) 所以 ~P or ~Q) S' W% r2 X, q; t
~(P or Q) 所以 ~P & ~Q |
|