|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens9 d7 h" I# u0 ^
P --> Q, 因為 P 所以 Q
( q/ q! g* d# I! o! O
_4 ~- q: s# J" \0 { P$ T7 kModus tollendo tollens( U7 s& }5 B Q
P --> Q, 取得 ~P 所以 ~Q
: Y- \1 v( x( _9 O8 {4 e( f" k( C6 k) D
Disjunctive syllogism* a4 R4 @. @- Q
P or Q, 取得 ~P 所以 Q
- Z- P" v: O: j- J, |. u9 S9 f( b3 eP or Q, 取得 ~Q 所以 P
8 P7 h0 h+ N) ~( N7 | Q$ [7 E* l. ]8 X+ j. X
Conjunctive syllogism B3 q7 l/ a- ^3 J+ k
~(P & Q), 取得 P 所以 ~Q
7 V4 p2 x, `) ]& ?2 v2 @ Z% Q~(P & Q), 取得 Q 所以 ~P' n+ n: ^: Y8 p$ e E6 y% }6 b
2 Q5 n3 C8 ^! q" x3 d2 l
Hypothetical syllogism7 Y5 X) s: ~# f: ^7 U5 B
P --> Q, 取得 Q --> R 所以 P --> R8 |6 m. b3 j2 n/ Z, c' u9 a
: P' z u k" m- p6 oDe Morgan's theorem3 g2 X* o: k N5 k J
~(P & Q) 所以 ~P or ~Q
0 \$ {: y5 O) m2 a1 b~(P or Q) 所以 ~P & ~Q |
|