|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
1#
發表於 2006-10-20 12:48 AM
| 顯示全部帖子
Modus ponendo ponens# _- w. n5 K. L$ o( T0 Q% E
P --> Q, 因為 P 所以 Q
0 U$ ?. C z" k& e+ b
v' d9 { r. @) |Modus tollendo tollens
% D% ]1 u+ ~/ U* c1 I: @" e7 \- }- GP --> Q, 取得 ~P 所以 ~Q. W" {8 W# L# F! S
- L& `6 D* A4 G* P$ @) {
Disjunctive syllogism
3 l: J- l' d' m1 P! Q( J0 Y- MP or Q, 取得 ~P 所以 Q) }* w6 @$ p B! }* ~6 `. j/ R: K
P or Q, 取得 ~Q 所以 P
3 r _9 Y7 G7 X: l6 {) G$ a2 J7 B5 E- g
Conjunctive syllogism( E: t& ]8 Y8 N8 C; a5 Z
~(P & Q), 取得 P 所以 ~Q5 L" U& v5 Q9 g1 X( h
~(P & Q), 取得 Q 所以 ~P; |8 w8 \' f$ t5 t. [
" {% @3 n; @: J( X8 t' g* z% fHypothetical syllogism6 |% |$ Y+ q4 C9 r: ^
P --> Q, 取得 Q --> R 所以 P --> R2 \; V& W$ L! [3 \' ~( [( {, B
3 \0 \) r# J, @! ] N% I4 R. P
De Morgan's theorem
7 U2 b% [# n, e7 m# K~(P & Q) 所以 ~P or ~Q l/ }$ I% h$ ^
~(P or Q) 所以 ~P & ~Q |
|