|
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
1#
發表於 2006-10-20 12:48 AM
| 顯示全部帖子
Modus ponendo ponens0 L1 N4 X3 u2 r, L. v! \9 r
P --> Q, 因為 P 所以 Q
, Q. O/ z7 Z" Z) x/ {+ u6 W+ t* f$ b( H$ C, H
Modus tollendo tollens% S- S9 c4 j9 \
P --> Q, 取得 ~P 所以 ~Q
* v7 a8 Y2 j5 K% e( P3 G% e& y! B4 ~) S: Q/ U
Disjunctive syllogism
. ~$ h0 L/ d o8 b- V5 |P or Q, 取得 ~P 所以 Q
( f/ ] |6 G% A6 w8 |; @' TP or Q, 取得 ~Q 所以 P
3 p0 q+ i, F( E7 J3 D7 p) m% y! T# j# l2 t7 ?& z5 h) P
Conjunctive syllogism8 q- z& }, q- t+ t4 L4 R
~(P & Q), 取得 P 所以 ~Q7 A2 Q! p/ t" J/ c1 T
~(P & Q), 取得 Q 所以 ~P U: N# l6 e! v
0 }3 q' o/ q7 H' b6 \, E& |! x
Hypothetical syllogism3 J% ?6 K6 T9 s1 F- r" M
P --> Q, 取得 Q --> R 所以 P --> R
9 y @2 H2 _& h$ ?, g% X0 g8 m
, J i8 t y6 c4 m% F1 w+ NDe Morgan's theorem
/ _( N; c6 \) v9 }& `' U6 C~(P & Q) 所以 ~P or ~Q
+ k# m3 V: \ h- Y6 ^" \3 r( C) ^~(P or Q) 所以 ~P & ~Q |
|
