|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
# J# k/ P+ j, ^4 T+ ]P --> Q, 因為 P 所以 Q, r' \6 w7 |; b: K5 `0 g
4 I- j* F4 i M2 R* w) ]) kModus tollendo tollens
5 r$ \* J3 S6 Z9 eP --> Q, 取得 ~P 所以 ~Q; M5 N2 B7 |9 a& m) ~
/ j1 Z2 r: X8 q! Q5 ^9 ^" TDisjunctive syllogism
5 T9 t) f& l; i+ SP or Q, 取得 ~P 所以 Q* U( _7 K1 {- a. P
P or Q, 取得 ~Q 所以 P
$ w+ p# f* w( D( D
& }* j( V- L% ?2 m# n: y# rConjunctive syllogism# }' j0 c' h: k' Q& \
~(P & Q), 取得 P 所以 ~Q8 `6 M7 \0 h: j0 U. w: z
~(P & Q), 取得 Q 所以 ~P
# d: L- U3 `- ~3 M% Z5 Y: v+ _" U$ G% I) s1 @8 [9 m9 k! A! N, F
Hypothetical syllogism
& K' g- S0 P0 c6 RP --> Q, 取得 Q --> R 所以 P --> R0 N4 u) H* q3 h! `8 D' z" w1 ~
3 V7 t, b- N4 z4 TDe Morgan's theorem' W9 R# C( J" D9 S# g" I! `
~(P & Q) 所以 ~P or ~Q2 I/ z; P% M: L. ~/ M' G5 @
~(P or Q) 所以 ~P & ~Q |
|