|
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
1#
發表於 2006-10-20 12:48 AM
| 顯示全部帖子
Modus ponendo ponens
, ?8 @. L* m9 z% L- EP --> Q, 因為 P 所以 Q
- K( R" S8 L/ ?/ u
- W8 T4 B( q* W$ Y( wModus tollendo tollens
. A& c1 w& ?, g7 d wP --> Q, 取得 ~P 所以 ~Q
# T: r7 p- b1 ~2 \) ^5 `2 _4 W: u' _+ ?9 o0 \
Disjunctive syllogism
; {# l( v. w+ h$ r& |P or Q, 取得 ~P 所以 Q, F+ ?+ o2 m5 y5 A* H
P or Q, 取得 ~Q 所以 P
1 k9 P' J3 R+ { e4 a c2 o" G' v# d9 j, J3 }
Conjunctive syllogism
4 x0 W& x5 ~$ ]7 m~(P & Q), 取得 P 所以 ~Q
6 ~0 ~, l% J4 J4 p8 v/ @$ v7 G~(P & Q), 取得 Q 所以 ~P y1 q* p2 d! ^
% V% Y+ n0 P) a- f
Hypothetical syllogism7 Y1 G8 ]. U+ j: h* |
P --> Q, 取得 Q --> R 所以 P --> R
9 U3 B$ z. ^2 y+ F0 I+ z2 T/ Y' p% m& ~1 @- w8 p3 c
De Morgan's theorem; W: a! b. b& Q: B+ |/ j
~(P & Q) 所以 ~P or ~Q$ s8 D. L4 h) W8 G5 _
~(P or Q) 所以 ~P & ~Q |
|
