|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens* c( L3 M( v* E2 V2 D4 B
P --> Q, 因為 P 所以 Q
, s% X* O: J9 S: h2 q- L5 d( o9 k; u& i1 l) g$ }3 l) ^
Modus tollendo tollens
$ b- G) }7 Q3 OP --> Q, 取得 ~P 所以 ~Q
( p# B6 h- O/ P+ a9 i+ Z: J
@! O& y! m( q kDisjunctive syllogism. N/ H* W0 \# V# D A: {3 b! \
P or Q, 取得 ~P 所以 Q
# ?3 K) _- I% z: wP or Q, 取得 ~Q 所以 P9 L- q3 B# L7 e7 I( V/ X- }) w
' Q1 T* x: W aConjunctive syllogism7 k* C" n6 c, N/ M7 g m2 H
~(P & Q), 取得 P 所以 ~Q+ ` ]; z; H5 m5 U' {
~(P & Q), 取得 Q 所以 ~P9 M* B0 ~9 z9 N$ T% o( r/ X
1 t4 b$ @" Q3 m- o' V' f' {
Hypothetical syllogism
& l5 S7 p( T& y$ \! t: [1 WP --> Q, 取得 Q --> R 所以 P --> R6 {6 C7 `" R3 f2 P5 c
# i. \" l6 }9 ^5 p$ K ]) E
De Morgan's theorem
0 y5 d+ t L- `9 L) K" s~(P & Q) 所以 ~P or ~Q# U- }) ^9 h! v' U" P
~(P or Q) 所以 ~P & ~Q |
|