|
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
- _' [; M9 ?% r: [0 b @P --> Q, 因為 P 所以 Q0 E. G! E5 J) ~( N! a% {. ^, P
5 k4 H# j$ O8 G$ s3 ]: S3 @5 E
Modus tollendo tollens4 w0 W r: D9 `4 V& T& \
P --> Q, 取得 ~P 所以 ~Q( j4 z% n4 V2 i; G4 F- T7 z6 p
% h& x% S& V. r* mDisjunctive syllogism
! m! y, P5 b, h: T* B, C8 x+ GP or Q, 取得 ~P 所以 Q5 b, A. e. k3 A
P or Q, 取得 ~Q 所以 P6 J; B+ S+ F% _ z. _7 V
& J! O6 o, Q# |# y* J
Conjunctive syllogism5 o# B6 o6 ?+ O' B( P; g6 X9 _
~(P & Q), 取得 P 所以 ~Q4 ~$ W# E. g7 ]* _+ r
~(P & Q), 取得 Q 所以 ~P5 [2 Z+ M% [' f1 y8 `6 M7 M+ M
) b C( u( K& B
Hypothetical syllogism
/ r i5 ]- S' r- R5 q+ SP --> Q, 取得 Q --> R 所以 P --> R
! T- O% i: r/ F! w+ |% G
4 T( @4 R5 `0 G9 ~; a. h9 kDe Morgan's theorem
1 _0 |4 R' D( i# b0 G3 ?7 d) h5 O~(P & Q) 所以 ~P or ~Q
' [2 L4 o& g% M$ g! V; |~(P or Q) 所以 ~P & ~Q |
|
