     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
% D! s$ V# ~! S, j( ]P --> Q, 因為 P 所以 Q6 F* X" W/ {. a
+ ~8 W/ H3 p( l0 pModus tollendo tollens
" S. B; V3 B( Q: |" MP --> Q, 取得 ~P 所以 ~Q; j6 E, Y" C, C0 u$ o: J2 a
: z& s1 L) S5 MDisjunctive syllogism
5 B7 G& I4 |0 A6 t3 rP or Q, 取得 ~P 所以 Q# @4 H- h! q$ G7 z9 Q) C
P or Q, 取得 ~Q 所以 P- G4 T2 R4 W' i9 d9 M
5 J2 V# j$ ]7 z2 iConjunctive syllogism. D' }* K% U$ d2 F. ?' ?
~(P & Q), 取得 P 所以 ~Q
2 N! W; C9 ^. H/ R1 W~(P & Q), 取得 Q 所以 ~P' w2 Y; a: c; e9 H. k( b# n# Y
% Z- c) Y; ^* e; {- v' _
Hypothetical syllogism
C9 D$ L: `9 w; eP --> Q, 取得 Q --> R 所以 P --> R- e" Z, ]! ]4 \ a
. Z, n4 @# n7 rDe Morgan's theorem
) _2 m/ T9 c7 H- j, d3 l2 k~(P & Q) 所以 ~P or ~Q' x Z: \- n% ?- `# M0 Q. l1 v; j
~(P or Q) 所以 ~P & ~Q |
|