|
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
+ Y6 m0 U: X0 [, f) [# F& QP --> Q, 因為 P 所以 Q3 ^) p& l5 L" x% |9 m
( D! s3 h# C5 [% q" }8 f y5 ^* pModus tollendo tollens
5 m- z2 J4 h" w- R/ ^1 mP --> Q, 取得 ~P 所以 ~Q
7 D, k8 l; [ y( Y! |& E0 w' J% ]( ~; Q6 Z2 q
Disjunctive syllogism* N0 u: r" {. D$ \$ `0 P
P or Q, 取得 ~P 所以 Q( j2 @% ~" @5 L! ^2 f) \3 v* D
P or Q, 取得 ~Q 所以 P! h/ P0 g# y# _7 {& v- D- }% l
( G- I7 X. c5 VConjunctive syllogism' m5 y4 C8 C" j- o7 g
~(P & Q), 取得 P 所以 ~Q- W3 ?& P7 c" G+ D5 S
~(P & Q), 取得 Q 所以 ~P$ X7 U/ d0 \; z) r# L2 K) ]
Q( E$ M% T& M( L* _3 e
Hypothetical syllogism% U( M T% e; h7 X! }
P --> Q, 取得 Q --> R 所以 P --> R2 Q0 a& g; o' U
, }. @, y, C4 J# q; M. @De Morgan's theorem
' y. f/ P! Q4 T3 S3 y- J# ?- X~(P & Q) 所以 ~P or ~Q0 m6 ~5 n9 ^ G) f
~(P or Q) 所以 ~P & ~Q |
|
