|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
4 l: L/ y4 w0 L, r0 ?# ZP --> Q, 因為 P 所以 Q
& D( k, x- s9 R7 m2 f# Z
3 z% l( z) F6 }$ x6 FModus tollendo tollens" Y/ c4 A/ d0 F; x; j4 c
P --> Q, 取得 ~P 所以 ~Q
9 u; F8 u r. u( }& ]9 X. u' |3 D7 |
Disjunctive syllogism# y$ f# V9 X' S, ]( ^* {' n9 U
P or Q, 取得 ~P 所以 Q
) C4 p1 a* F# Z* d$ Q/ KP or Q, 取得 ~Q 所以 P
* z' n; W$ g2 ?2 _4 i1 K
( X8 G' R& u: f7 L5 U& }- A" G; o0 }1 RConjunctive syllogism
' ^4 u/ j c; s8 l: u5 L+ o: X~(P & Q), 取得 P 所以 ~Q
/ _1 g! O, j# G) W% ?. B~(P & Q), 取得 Q 所以 ~P
( U5 |2 Z3 ?' [5 ]* p# A7 u5 @& ~% t$ d
Hypothetical syllogism/ N! O `4 ^! G" T$ |/ E) n
P --> Q, 取得 Q --> R 所以 P --> R4 I P& X |3 u5 ]
8 p& T6 `6 ^7 ~% d9 Q G' }De Morgan's theorem/ i5 F$ T) R2 A- K
~(P & Q) 所以 ~P or ~Q
) a8 W. E: P. V7 p0 h' H, U~(P or Q) 所以 ~P & ~Q |
|