- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens6 D4 L6 H$ x I6 `0 W# Z1 ^' s) L
P --> Q, 因為 P 所以 Q% B* ?6 J+ s& A: o+ ]
8 Y9 g I9 c8 m+ c+ `/ M1 a* X
Modus tollendo tollens4 n+ y; f, B0 {6 k' u
P --> Q, 取得 ~P 所以 ~Q+ c' k& x5 e5 \- D8 S3 l: q. L
; w% ^' d0 s) V1 R, Y. Z( lDisjunctive syllogism* A5 k9 Z( `. T0 m7 S
P or Q, 取得 ~P 所以 Q) Q* D# V. J) u& b6 `0 E
P or Q, 取得 ~Q 所以 P( I+ H4 x* T1 G. m" C
* Z- w$ p5 s$ b# O0 G6 P% DConjunctive syllogism
|1 E; N0 n1 f( t% P" u9 P~(P & Q), 取得 P 所以 ~Q
" S: y# N' u: [( j~(P & Q), 取得 Q 所以 ~P
. {8 L$ X1 [" A; p7 o F, M% q6 X* C7 T9 w! o& C
Hypothetical syllogism
# k0 c3 i' U$ P! NP --> Q, 取得 Q --> R 所以 P --> R4 E4 t- k* c+ U$ {$ [. Y$ I
0 w! `5 g! b D4 d; t
De Morgan's theorem
/ u F8 i8 @* h e0 }& U9 i~(P & Q) 所以 ~P or ~Q$ D% `, l! E6 K9 i/ W7 ^; G# E
~(P or Q) 所以 ~P & ~Q |
|