|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
/ O; c- l; V0 V9 T/ j$ AP --> Q, 因為 P 所以 Q
8 X$ U6 W9 r, i( P
7 W0 l; [ I4 d- Y8 m3 U8 kModus tollendo tollens; N& K3 I) u7 Q) }
P --> Q, 取得 ~P 所以 ~Q3 m+ d# |. r7 q. f- K; ~; e
) A8 s8 L4 D. v% h
Disjunctive syllogism( ^! Z9 I: x! W& \# n( p6 a
P or Q, 取得 ~P 所以 Q
( X8 {8 P5 [4 M/ UP or Q, 取得 ~Q 所以 P J+ p- ]% r) F7 `1 d) C1 N* x
) D! w4 D+ ?1 Z* x+ G. g J% _
Conjunctive syllogism! e7 g1 X, h8 O. g5 h
~(P & Q), 取得 P 所以 ~Q; k: j: L# {# ~+ H. `
~(P & Q), 取得 Q 所以 ~P
1 s- u$ x/ U0 c* `" G8 h- V( @3 M( p( T5 P/ `) [: y, J8 U
Hypothetical syllogism- h4 Q4 A7 z; { ]- s
P --> Q, 取得 Q --> R 所以 P --> R* S/ k9 v( e# t
2 B& v# L5 }8 w2 x' }( ~De Morgan's theorem$ _, Y7 c# p& A3 o
~(P & Q) 所以 ~P or ~Q
, B: y0 m6 n: i- A) m" p; w, c6 c~(P or Q) 所以 ~P & ~Q |
|