|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens" h1 b$ v& ?, Z# n" J
P --> Q, 因為 P 所以 Q8 C5 `" c0 i% [% v2 {' U
3 J `2 q5 o( b1 y; ?
Modus tollendo tollens
3 e# T% v3 V. i% ZP --> Q, 取得 ~P 所以 ~Q6 E% `6 k: C" x1 }6 w. B( W
/ |5 M8 g( |2 ^9 c0 f4 [
Disjunctive syllogism3 `' w J# p& m$ d7 F2 r
P or Q, 取得 ~P 所以 Q( W- o9 {6 Z- {* s
P or Q, 取得 ~Q 所以 P2 Y: A7 e4 P: F. q( O. E1 [5 \
1 @0 k4 u- E1 n% {- q B! l% yConjunctive syllogism
- H# N0 ]: ?9 N& j! t4 p~(P & Q), 取得 P 所以 ~Q4 |- ~3 q4 P6 r
~(P & Q), 取得 Q 所以 ~P, j6 A5 h2 d& H7 t* b
; y2 T, V9 K: o2 o; S( J
Hypothetical syllogism' |( M7 f+ p- W3 m( l/ j
P --> Q, 取得 Q --> R 所以 P --> R
3 j# j* U; F' }/ O) T9 l) O! f' s6 R+ v( z- S, s4 ?
De Morgan's theorem
! I% f+ |: N& V D~(P & Q) 所以 ~P or ~Q
$ w4 {0 v! i8 P/ V5 g~(P or Q) 所以 ~P & ~Q |
|