     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
1 c2 p6 A/ K$ {9 t/ d0 u4 SP --> Q, 因為 P 所以 Q6 t, d9 F: o) |* Y. d8 h6 N: b/ R
3 J2 q& C, i' O5 O/ R5 U5 M
Modus tollendo tollens, h6 A& ^( B+ ~& R; c" k+ h2 V+ x- h
P --> Q, 取得 ~P 所以 ~Q
# N+ o, O/ }( z$ h4 M
, A; t" {/ c: x3 y" y, C- H; I9 sDisjunctive syllogism
( {$ c3 g# Y# z' c4 N2 z& @/ y% @P or Q, 取得 ~P 所以 Q0 C3 O, R9 [9 D% k6 Z
P or Q, 取得 ~Q 所以 P
: v5 K% t H( G/ q/ K4 d. v Q# ]9 n8 J5 {% Y( g5 m& E
Conjunctive syllogism
- B1 M( a" S, r" m1 H: B~(P & Q), 取得 P 所以 ~Q" Q$ {2 J8 C7 m5 B
~(P & Q), 取得 Q 所以 ~P
: j7 P+ M8 b# v2 ]" n- f$ F% o1 b# y' j
Hypothetical syllogism
0 G7 _7 C# @' k; ?P --> Q, 取得 Q --> R 所以 P --> R
; M- a/ h+ n3 _
+ `# M. A( x( C) k! BDe Morgan's theorem+ X. n* U) ~: \
~(P & Q) 所以 ~P or ~Q0 K% s% p! ?1 r
~(P or Q) 所以 ~P & ~Q |
|