     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens( X" T4 ?1 Y1 k8 s; a, M, n
P --> Q, 因為 P 所以 Q+ T b5 x3 d" \
/ V) R& R' M! \! r. D; D/ HModus tollendo tollens& F- \6 }, M6 h* Z' P
P --> Q, 取得 ~P 所以 ~Q
. X- |! F* w; H$ H) W/ N
3 k* y/ n& v& E) s2 rDisjunctive syllogism0 Y) ^6 q7 p u7 R; F
P or Q, 取得 ~P 所以 Q% W5 p2 x, p) P; c
P or Q, 取得 ~Q 所以 P
7 E: z+ f6 T- l" v) }' s& i7 j( H9 f
8 R& z( S' l; {/ B) o( C2 yConjunctive syllogism- h; t6 \: Q- [& \
~(P & Q), 取得 P 所以 ~Q
. Y. e6 S* b& }# |7 z! {~(P & Q), 取得 Q 所以 ~P
& k2 G( \0 ?) c* z- E; [* [
; i# ?7 [% @9 `5 [, }. wHypothetical syllogism
9 N: e: U9 `( tP --> Q, 取得 Q --> R 所以 P --> R
. L2 {$ ?3 D( a: F7 D0 |6 _5 r5 b; B: u. p* e, U. D
De Morgan's theorem
! H/ u. r1 v) _( U: U! E1 P* e a+ `6 G~(P & Q) 所以 ~P or ~Q
' S! Y9 ~* A6 k: E~(P or Q) 所以 ~P & ~Q |
|