|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens0 l! P0 A" t2 h2 z9 ~
P --> Q, 因為 P 所以 Q5 c9 W4 Q* F, t2 e) q% E) ]4 _
# E5 t7 K) x8 K% V$ D4 I$ P" _9 R/ WModus tollendo tollens# l, ~6 S; o- t+ i* d8 d
P --> Q, 取得 ~P 所以 ~Q
6 O( l3 Q6 s. s. _! w: H$ n. p' z' l! k4 r0 L
Disjunctive syllogism
7 L9 |! n+ y0 T* ?; x4 n) GP or Q, 取得 ~P 所以 Q2 n5 D/ C x8 f( P) j- U
P or Q, 取得 ~Q 所以 P
* V/ w1 R) U1 i( p1 l
( x$ |) j+ f" y2 J# z) C* v/ ?$ M: yConjunctive syllogism" P* Z7 l/ m) t# ~+ Z2 @" W5 H
~(P & Q), 取得 P 所以 ~Q
) B! `$ A2 K, l w~(P & Q), 取得 Q 所以 ~P
, j! d4 q0 s) D) r8 v: R9 g+ Y8 `
Hypothetical syllogism* U; [& `$ T; J& h" T* A
P --> Q, 取得 Q --> R 所以 P --> R
0 n; G7 V" G1 s% R V1 ~, K2 e- T m& |; l% v( p
De Morgan's theorem( g( x( [; x) r' }# C8 V
~(P & Q) 所以 ~P or ~Q
/ c5 P+ g! r' p& U~(P or Q) 所以 ~P & ~Q |
|