     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens. D4 W9 x" |% r* w4 S) a9 _
P --> Q, 因為 P 所以 Q
9 L$ D3 O( \% f* A8 T
6 e4 y& Y# }& \3 t. C; lModus tollendo tollens' O: h# P5 G+ c( Z/ F! E0 A7 ~
P --> Q, 取得 ~P 所以 ~Q! v) C" @ ]% z$ V! [8 w
* i) m: T5 M f
Disjunctive syllogism
' }/ k! _5 X7 b+ MP or Q, 取得 ~P 所以 Q0 \. M( Z/ O9 ^; n/ j
P or Q, 取得 ~Q 所以 P3 M7 P% ]0 t" f! z. Q# Y8 q2 \
5 ^# G* {6 m6 D n
Conjunctive syllogism/ W0 Z y5 Q" _7 {8 e( ~
~(P & Q), 取得 P 所以 ~Q
: Z! `2 ]( P4 _8 o~(P & Q), 取得 Q 所以 ~P5 z4 w6 g* i3 d/ m* i
6 X5 ~, F5 m7 x0 Y3 s; e0 HHypothetical syllogism
( _# R# `1 S3 N" p! k0 @P --> Q, 取得 Q --> R 所以 P --> R' D ]" F) S$ w/ T" Y Y- x
6 l0 M! }& _) i/ N. T
De Morgan's theorem6 d1 F- f0 J8 c: _
~(P & Q) 所以 ~P or ~Q
$ |9 y+ Q4 R) g- U~(P or Q) 所以 ~P & ~Q |
|