|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
( m, ?. }- D9 g' \P --> Q, 因為 P 所以 Q
( T% p+ w# A+ g! F- k" _7 b }3 W1 |2 C/ a* O- {- E
Modus tollendo tollens
0 e2 i1 `: n9 ?) NP --> Q, 取得 ~P 所以 ~Q
- J# r( t9 {1 [- h: _0 O/ Z8 _9 W) |! `6 J
Disjunctive syllogism
. C$ Z l9 v4 t% d; G% Z5 B% VP or Q, 取得 ~P 所以 Q
+ o( P( ?) ~4 f% q* o. [5 x8 P) _P or Q, 取得 ~Q 所以 P
/ ?4 x' N a& u
1 `7 ~' |$ Y2 S) [6 {- gConjunctive syllogism# d9 }- \* X% {1 \$ c2 C9 Z! c
~(P & Q), 取得 P 所以 ~Q& h" s; e: o0 T* O( U g, c8 ^7 A M
~(P & Q), 取得 Q 所以 ~P* y% @* d7 y% u9 L. ]( c
4 Q/ v/ ~! Y9 i5 |$ I5 F# s. uHypothetical syllogism( J# z- N4 n/ ] H* p8 F2 V" n) s
P --> Q, 取得 Q --> R 所以 P --> R
- ?( w7 L8 c9 g; Q, y6 s5 o: m; C9 `% j6 J
De Morgan's theorem
1 v0 v5 v$ s) H6 P. F8 D~(P & Q) 所以 ~P or ~Q! q2 [& S. s1 f! s% v
~(P or Q) 所以 ~P & ~Q |
|