|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
1#
發表於 2006-10-20 12:48 AM
| 顯示全部帖子
Modus ponendo ponens! ^9 ]3 r$ [* b7 f- \+ f, y ?
P --> Q, 因為 P 所以 Q6 A( }5 Q7 m9 Q8 z
' J0 a: V* k! l( V$ G& X( j
Modus tollendo tollens
3 y' ~; o1 D u6 h. ?4 h/ fP --> Q, 取得 ~P 所以 ~Q8 e$ Z( V$ y, s) w- D% [; T3 o; W
3 [9 o. T% }7 ^+ ^' D1 U6 V$ r
Disjunctive syllogism
5 z2 D; U. f! F1 |$ h g% uP or Q, 取得 ~P 所以 Q6 D. @7 ]( v- s& F
P or Q, 取得 ~Q 所以 P
6 x" S' \* E8 w. O- |3 w/ L, J( S8 {$ I; `% M" x$ E0 ?
Conjunctive syllogism. U. r& o1 B _
~(P & Q), 取得 P 所以 ~Q
/ b& }3 m# D0 F9 o~(P & Q), 取得 Q 所以 ~P6 I7 s `, S' _: e$ O* O; `9 Z* [/ v
( t$ g. C9 D1 `& Y; z
Hypothetical syllogism
2 K$ d7 ?+ ?+ yP --> Q, 取得 Q --> R 所以 P --> R
# V5 Z9 O& `. q2 w( D$ ~) m( p) ?, @1 m( r- T6 L- h) `( z
De Morgan's theorem
" d6 M. E" U! X~(P & Q) 所以 ~P or ~Q
! r: o/ ]& ^5 ~' Y/ w7 S$ D! k: Q~(P or Q) 所以 ~P & ~Q |
|