|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
6 {# y- W$ N0 ?# t2 b6 OP --> Q, 因為 P 所以 Q
4 ?. w3 l+ }! ?3 \$ j7 f3 b! f+ J' X g- \( T5 f
Modus tollendo tollens7 E; e- c& X0 m0 F/ Y# n
P --> Q, 取得 ~P 所以 ~Q5 v T6 T3 L; X) W
$ H6 E l# I) ?; T% F, ~* k- b8 y y/ e
Disjunctive syllogism( X% B5 u- r7 c7 Z3 [& ^
P or Q, 取得 ~P 所以 Q
; F& V* V( o* [. }P or Q, 取得 ~Q 所以 P
: T. X+ k- y" a" u
8 J- K* y1 X+ i* XConjunctive syllogism
3 v1 s: n" W$ P$ w* K~(P & Q), 取得 P 所以 ~Q
: M2 S' U4 j- A" Y& j5 b8 p' H* g~(P & Q), 取得 Q 所以 ~P
* k q+ x, w8 V9 c o' `* V* B3 r5 O
Hypothetical syllogism
9 B! |5 k S6 E6 Q0 x* Q' ?P --> Q, 取得 Q --> R 所以 P --> R/ u/ C' _" }4 T1 E
x* x' `, ]1 }; O
De Morgan's theorem
* N: C9 P! n; M. W1 _! {3 y$ o V" r~(P & Q) 所以 ~P or ~Q
! H' w: p+ G; z7 D2 _9 h9 I~(P or Q) 所以 ~P & ~Q |
|