|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
4 I+ c6 t& ?9 v: U1 mP --> Q, 因為 P 所以 Q
3 t, C4 A" p' [. k4 h% }3 C$ c/ h( l1 \' w& x
Modus tollendo tollens
" J. Z5 m$ i7 Z/ j5 V, h! `P --> Q, 取得 ~P 所以 ~Q( s! r( g% a. p
- ~. X, ^$ P$ e- XDisjunctive syllogism
9 G3 _' Z9 c* j2 @P or Q, 取得 ~P 所以 Q/ X3 \* b+ ]+ M
P or Q, 取得 ~Q 所以 P9 `! `0 A7 r, m
* s" S. u' c" x9 i
Conjunctive syllogism
8 o. f) u5 t" ?* a5 _" S; K/ K2 m~(P & Q), 取得 P 所以 ~Q u* Z: |3 R. I$ N! j5 E' C
~(P & Q), 取得 Q 所以 ~P$ b5 L' ]2 T" L0 c5 m, P8 c
, r$ T/ y$ }/ N& qHypothetical syllogism
7 E9 _0 Y" [1 p1 rP --> Q, 取得 Q --> R 所以 P --> R& J- a& b6 z3 Y7 f# `% W, P, N
+ @8 @/ {7 d2 w
De Morgan's theorem
e0 O" M) r" G~(P & Q) 所以 ~P or ~Q
5 Z: `2 q! @' s* h9 Q' \% @~(P or Q) 所以 ~P & ~Q |
|