     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens+ O3 C& N+ X) m# Z! f
P --> Q, 因為 P 所以 Q, T0 B7 H* z n' c" g
, U8 q/ n, o3 a+ [9 r$ nModus tollendo tollens
* l/ ^3 ^1 G+ ]0 r, e7 vP --> Q, 取得 ~P 所以 ~Q+ N/ {- C$ s* E: L' y& O' _3 `
6 {# {1 `% ~% z" o0 F
Disjunctive syllogism( S% Y$ F! e9 N3 J& b- D9 E
P or Q, 取得 ~P 所以 Q
$ I$ W. o+ K8 A# j9 s* F% V" gP or Q, 取得 ~Q 所以 P
* U5 ], s# U* A B$ w/ @( S* p/ C$ u( u p: W, o
Conjunctive syllogism1 U6 p1 P' [* g
~(P & Q), 取得 P 所以 ~Q
1 v( x6 O) j, q; k( \$ v~(P & Q), 取得 Q 所以 ~P
1 x3 K$ x6 r6 W1 i. X
* y, A6 m& U# t4 Y) Z1 ~Hypothetical syllogism8 b0 X4 e7 C2 z7 s6 j+ X8 R7 R
P --> Q, 取得 Q --> R 所以 P --> R/ H1 Z6 v9 p3 F3 ]1 o" W
8 i, J. X) _$ ~: ?& [0 C
De Morgan's theorem
% ?5 |6 V* ^7 s8 d~(P & Q) 所以 ~P or ~Q3 W/ A1 I; I: K( W
~(P or Q) 所以 ~P & ~Q |
|