|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens; I7 w/ v& i' o+ I9 S) ^
P --> Q, 因為 P 所以 Q# r, G2 w9 s# M2 L
) U. q$ ]" D2 H0 A3 W, |Modus tollendo tollens* `- m3 ?, x8 S
P --> Q, 取得 ~P 所以 ~Q
1 J {8 @$ G1 ? K1 C( {# c! O Y. ]! p* o/ ?; c
Disjunctive syllogism4 o0 f% r& s9 N( E: q6 w* h4 p
P or Q, 取得 ~P 所以 Q& `& z- C- \: W1 o0 S
P or Q, 取得 ~Q 所以 P: {% T' \+ E5 z: D) n* |( o5 w; ^6 M3 v
L4 R' C) @7 k' H: y JConjunctive syllogism
) E, t0 v+ @( f4 P: }2 r~(P & Q), 取得 P 所以 ~Q" T- G5 L9 K. F4 s
~(P & Q), 取得 Q 所以 ~P
O& b7 a6 G1 r% p) ]/ r3 {: j3 ^1 Y8 h: B: f7 s$ q( u, B
Hypothetical syllogism4 _: H' s5 w! ?: ^+ C
P --> Q, 取得 Q --> R 所以 P --> R
1 C) `$ O3 k- |
. L D$ R O) Q7 MDe Morgan's theorem6 ?; S! Y% `/ T7 _2 y( m
~(P & Q) 所以 ~P or ~Q
$ p1 L8 S& r- J S2 ] \) E1 u~(P or Q) 所以 ~P & ~Q |
|