|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens$ q2 [; D2 T2 K% v2 {6 B" O
P --> Q, 因為 P 所以 Q
0 T7 W; Y& y' ?: G( `$ L: u) \, T; ?2 F h& V; g0 Y
Modus tollendo tollens
) Q0 @( p& l1 w3 i% cP --> Q, 取得 ~P 所以 ~Q
1 y# j8 k X$ Z- H1 m$ b0 C7 F# ^. _
Disjunctive syllogism0 n1 ^8 X* e2 d6 N$ A" s" F
P or Q, 取得 ~P 所以 Q
4 q" ]* N$ G5 Y3 v$ S" y# i' jP or Q, 取得 ~Q 所以 P& I: \2 E/ t. }
/ e9 [# i. Z! Y- S. b% e" x0 w" SConjunctive syllogism
/ T4 e- u2 s' s- ~~(P & Q), 取得 P 所以 ~Q
/ n8 H. k, F% d* t~(P & Q), 取得 Q 所以 ~P5 ~9 W$ p, ?- X7 ~. ^
) F0 g. n! c; A8 d. m
Hypothetical syllogism
6 F( Z \- t JP --> Q, 取得 Q --> R 所以 P --> R
/ z9 z) t3 e: R9 j5 c
$ u7 D& R* o7 o. |$ gDe Morgan's theorem1 ~4 p$ m* G% M1 I! ]! f, w% F
~(P & Q) 所以 ~P or ~Q
1 t4 g l; G: B+ N) K~(P or Q) 所以 ~P & ~Q |
|