|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
+ F2 r }2 P( _. C# {P --> Q, 因為 P 所以 Q; ?( U5 I; j7 c9 E0 l) n
8 s/ b# q. O. m) C dModus tollendo tollens# L# ?1 T, M4 a3 M* ] a
P --> Q, 取得 ~P 所以 ~Q+ Y- d% X/ [& g; E; j
7 y b% U# D/ S/ R% `
Disjunctive syllogism4 }4 X0 K7 U" |8 D
P or Q, 取得 ~P 所以 Q
& Y* `, g" U4 Z4 RP or Q, 取得 ~Q 所以 P
. G3 W" q! h1 w5 m
4 G. M" L# H& VConjunctive syllogism; H8 Z) r: @2 {2 T0 n
~(P & Q), 取得 P 所以 ~Q7 H2 N; F9 O. \) V8 w, Z% n) D
~(P & Q), 取得 Q 所以 ~P
]! [, ~+ Z6 h( D" ?7 N* d! v3 t& d
; u3 d! \/ e0 Y9 w9 J' n/ n7 SHypothetical syllogism
9 x: i9 i2 }* `9 qP --> Q, 取得 Q --> R 所以 P --> R* X3 X/ y: v: R3 P" g; L
1 P2 W" _& o9 @- d4 ]8 N C, [3 @6 s
De Morgan's theorem
_, O: C; e) ^~(P & Q) 所以 ~P or ~Q
1 a$ V( K& ^ A- N3 Y~(P or Q) 所以 ~P & ~Q |
|