|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
1#
發表於 2006-10-20 12:48 AM
| 顯示全部帖子
Modus ponendo ponens
8 {3 Z3 z( D. j, |# T8 fP --> Q, 因為 P 所以 Q* a7 G. X0 N- y2 S
6 f) k* Z% y/ B7 _# ]
Modus tollendo tollens' d [8 x# c! K" k* e
P --> Q, 取得 ~P 所以 ~Q
: I5 q' V( F4 A/ u! }" e- C- ~ R) T6 }6 o i/ E& K; K* n
Disjunctive syllogism
6 A% h/ H a$ S0 E; eP or Q, 取得 ~P 所以 Q. c, v, c+ I, m- v6 R ]9 h
P or Q, 取得 ~Q 所以 P+ l/ H! D& ~2 l% F+ b* N
J7 B" U" D$ y. m
Conjunctive syllogism7 m" c- l% h! k4 w/ K
~(P & Q), 取得 P 所以 ~Q
+ }2 y; K; _5 k' d5 F& ?0 R~(P & Q), 取得 Q 所以 ~P
1 R7 Y- j ?+ B7 `" {, K0 u/ M7 i ~6 i. R; P
Hypothetical syllogism
1 c! k8 i4 V# i, PP --> Q, 取得 Q --> R 所以 P --> R
" i5 j `4 F* T7 r
/ w- B6 a6 W0 ?" R2 Y6 eDe Morgan's theorem
$ U' t! m% z2 l9 {: ]) D~(P & Q) 所以 ~P or ~Q! M0 c" `8 Z6 g u! f! O
~(P or Q) 所以 ~P & ~Q |
|