|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens) n) I) N8 R$ V0 w
P --> Q, 因為 P 所以 Q
3 h7 R* @! k$ A6 x5 T8 Z
+ q5 [) X' p- w+ l( X6 UModus tollendo tollens
1 c6 r7 Y: A% F8 r3 xP --> Q, 取得 ~P 所以 ~Q% b% z5 _8 C* u$ ]! \* U
% w7 h# f u+ i6 Y% H+ [" V- V
Disjunctive syllogism
) c8 I' G9 y. K0 i2 s7 mP or Q, 取得 ~P 所以 Q- q r8 I( [/ K; q2 J1 C6 T
P or Q, 取得 ~Q 所以 P0 T6 O( Y/ ]$ p' G
! `: ]# T6 U! Z. u7 \+ ^+ r6 {
Conjunctive syllogism" W& J; l. r7 j" f8 P& X
~(P & Q), 取得 P 所以 ~Q
7 u5 p- {$ }6 m7 D- p, L~(P & Q), 取得 Q 所以 ~P; @1 I1 G* j" E" ^, ~$ a
) ?+ D1 N% Q; u- h2 o
Hypothetical syllogism6 C& [0 {1 b A$ r" w
P --> Q, 取得 Q --> R 所以 P --> R
7 T9 q" G. |, q, _) ^, P% `+ O, d& g* S4 Z: e. c2 n
De Morgan's theorem
6 `! h4 E; }9 p# s# R: E~(P & Q) 所以 ~P or ~Q5 B2 _) t* v4 H! P1 { k
~(P or Q) 所以 ~P & ~Q |
|