|
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
1#
發表於 2006-10-20 12:48 AM
| 顯示全部帖子
Modus ponendo ponens; B0 g3 E( T' V6 e$ W* ~- K
P --> Q, 因為 P 所以 Q) U6 M% z2 B' `( b! x( c0 Q, G
% ]2 @( Q' P- H* }6 iModus tollendo tollens. k3 A) k. h8 R8 i7 p6 s/ d
P --> Q, 取得 ~P 所以 ~Q" A7 k+ V$ k9 d
! b5 w$ c5 Y3 q/ b$ r+ X
Disjunctive syllogism
( h9 L9 Z% ~3 ]+ X- R1 ^" RP or Q, 取得 ~P 所以 Q- L; c7 r% S, U8 M! x- b$ W
P or Q, 取得 ~Q 所以 P% Q! f+ D9 G' K/ J7 L) d& @
! s/ ?6 b* q9 {' ^
Conjunctive syllogism! e" p6 c8 A- n' G/ ]
~(P & Q), 取得 P 所以 ~Q
$ E2 Z; Y3 `# i; @5 z~(P & Q), 取得 Q 所以 ~P
( b3 n+ G7 n- M/ |) i7 B; `* R+ R6 m/ S- b
Hypothetical syllogism% v# D4 d# F5 ^8 A. F# k
P --> Q, 取得 Q --> R 所以 P --> R- `1 M4 d( H1 f- \% C
3 M9 H) \2 w$ i e+ X" U& \De Morgan's theorem
( R8 O! l* m9 {& |! r$ X. k7 O~(P & Q) 所以 ~P or ~Q
5 D* [& Q- [" g: W~(P or Q) 所以 ~P & ~Q |
|
