- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens; X) M8 S& w" e
P --> Q, 因為 P 所以 Q# I1 M3 X! `( a# U, w$ A
0 z2 W# U2 P2 ~" p# F# IModus tollendo tollens
6 Y( w4 B: [' r9 a5 Z- [9 HP --> Q, 取得 ~P 所以 ~Q& R) @" _: _, B0 K8 `. G `+ C
( m, k3 _" l: G* I8 `: P! n
Disjunctive syllogism7 M+ ?9 |7 W+ E) }- B* L# r' b! W
P or Q, 取得 ~P 所以 Q
- q! x6 N( i$ a1 K5 J; oP or Q, 取得 ~Q 所以 P
2 s# {$ F- v- i/ f1 D) u* A; p, q5 s; r% K# ]
Conjunctive syllogism
8 P3 |" U; h: u" Q$ N~(P & Q), 取得 P 所以 ~Q5 ]% x7 E+ S( A! W- E' g. F. M, b: b
~(P & Q), 取得 Q 所以 ~P
9 w0 u, U% J$ R i
/ T, I$ k- I$ X/ u( dHypothetical syllogism
5 r `. T& z% I" L; o r/ |P --> Q, 取得 Q --> R 所以 P --> R# e# z4 q" w! e( d G p5 z. [+ t
$ u5 b% d1 T8 z4 y1 Z9 g a; G
De Morgan's theorem) R) _4 U# q% m: R
~(P & Q) 所以 ~P or ~Q
, d! r; I# D+ \; z+ W- m% ~~(P or Q) 所以 ~P & ~Q |
|