|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens* d3 R4 L, c: D) B! D+ x: F) E9 I
P --> Q, 因為 P 所以 Q8 ?( I9 z7 s4 H3 R
; v- s( N A* D# m$ F" o
Modus tollendo tollens
0 m6 J3 z5 M# k: A: oP --> Q, 取得 ~P 所以 ~Q9 @, |9 d& d" g- r9 d; \1 r$ a) w* R
( ?4 W. C- F3 J5 d2 ?Disjunctive syllogism
5 r. l2 c0 x- e2 n( \* E2 PP or Q, 取得 ~P 所以 Q$ u5 Y( i# R8 L; y X3 b
P or Q, 取得 ~Q 所以 P
( z8 b2 A* W+ x( \0 D; c0 z7 o" V$ d; ~2 B& A
Conjunctive syllogism: S4 f' [9 `" Z+ T" Y) v
~(P & Q), 取得 P 所以 ~Q7 H; i4 _( C$ `7 g! [2 z
~(P & Q), 取得 Q 所以 ~P
' B+ n) G: I: [" k, D$ B. `: d+ W$ Z9 Q; X( ^
Hypothetical syllogism9 h) d7 t$ B& Z- \5 S
P --> Q, 取得 Q --> R 所以 P --> R8 T- h4 X u4 f9 [: r" }3 U
0 S0 y! ?7 p3 T9 D+ `" V
De Morgan's theorem% X& q! _! B$ {! L
~(P & Q) 所以 ~P or ~Q
& x; W. n; I* T+ c0 ?( }; R8 l. }) `5 E~(P or Q) 所以 ~P & ~Q |
|