- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
- u1 @6 B: u! n. |* H& ?P --> Q, 因為 P 所以 Q6 t1 t+ B, X2 ~2 w
+ T& @4 f% m H
Modus tollendo tollens" V) ~- @. T$ Y1 W# A% b7 i
P --> Q, 取得 ~P 所以 ~Q0 v( k. Q. W- U9 m/ ?( @
5 H6 |5 o4 }9 `$ B3 I TDisjunctive syllogism
/ [: k" ^9 {* t/ u( z# tP or Q, 取得 ~P 所以 Q. t8 K: u5 d4 |
P or Q, 取得 ~Q 所以 P
6 E/ X+ Q% P4 V3 l. {0 _! r) l$ _* p- M l; `
Conjunctive syllogism+ B) v8 `/ @- |$ U/ |
~(P & Q), 取得 P 所以 ~Q1 @- ^' Y! U3 @" s
~(P & Q), 取得 Q 所以 ~P, L' G. q3 ` ^' O; z
5 Q' N) j! e: s$ X& M" AHypothetical syllogism
4 T1 @2 p; B; vP --> Q, 取得 Q --> R 所以 P --> R
0 Z. J5 B1 c6 o3 r6 C; B' C% ~9 ]" M- d: T, h
De Morgan's theorem% n' `/ F ?. \4 G# B+ F# {+ e% `) h
~(P & Q) 所以 ~P or ~Q* ^# ?$ y% x/ T J4 O. x+ n
~(P or Q) 所以 ~P & ~Q |
|