|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens9 G/ l% M: X6 }! p3 _6 r
P --> Q, 因為 P 所以 Q! \( G5 E9 }" g# G% W0 k. O
( X1 i# ^; U* Y4 M0 K
Modus tollendo tollens; Q1 o$ K& B! K# W/ [/ l
P --> Q, 取得 ~P 所以 ~Q2 J& s2 ~! N9 ]
$ N* J# T, Z. R
Disjunctive syllogism
4 |1 _/ n1 r9 ]4 O! WP or Q, 取得 ~P 所以 Q
) U+ }& {6 Z9 D2 ZP or Q, 取得 ~Q 所以 P
4 Z6 ?+ x7 ]8 m3 Z7 I) S4 N, c) C; B/ X) h' b
Conjunctive syllogism
4 ~; ^# d5 f5 S" W/ S~(P & Q), 取得 P 所以 ~Q
6 E+ O( Y- S% a4 p2 H~(P & Q), 取得 Q 所以 ~P
- }& L. f9 h" v# r! K; d- ]" L- V1 m9 j8 g4 d
Hypothetical syllogism
7 [4 X6 `4 M# D; kP --> Q, 取得 Q --> R 所以 P --> R
+ Q0 w: N- C- Y6 E
9 U% g* @4 N8 I3 }2 A. RDe Morgan's theorem c" {$ g$ A% m, E2 e6 M
~(P & Q) 所以 ~P or ~Q$ b4 N+ T* n3 m8 T3 R& U% R7 o
~(P or Q) 所以 ~P & ~Q |
|