|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
: c' J6 v. X! M" g) |$ jP --> Q, 因為 P 所以 Q
# y( H6 ~% U3 H% q) u
9 d5 s8 i+ j* r7 `7 C; h. ]Modus tollendo tollens4 B( t8 F) @9 E ?
P --> Q, 取得 ~P 所以 ~Q' z W5 g3 _2 U# ~& f% W: \+ b: z7 {
. v# U5 I. R: v9 m8 ZDisjunctive syllogism
, ?! N1 x0 |3 |P or Q, 取得 ~P 所以 Q* [+ d/ w a7 P# P* W
P or Q, 取得 ~Q 所以 P
. \8 S! x! `7 j& u' n u4 p6 O% ^/ R% ~7 z1 Q) Y1 P% z
Conjunctive syllogism) U( x5 h4 P. i1 X+ W; G1 p
~(P & Q), 取得 P 所以 ~Q
! O0 X7 p! c2 {9 S; s~(P & Q), 取得 Q 所以 ~P
~4 R3 ~" o8 @, p$ M5 d, ~4 r
5 d! J: N0 A0 r2 VHypothetical syllogism4 q1 N! }& [9 e- ^
P --> Q, 取得 Q --> R 所以 P --> R
* J# a! W' H: E. T3 a+ e( Q! f5 n! y5 @
De Morgan's theorem2 q4 \9 i' y+ M/ U) y
~(P & Q) 所以 ~P or ~Q9 \% [! S5 k6 Z
~(P or Q) 所以 ~P & ~Q |
|