|
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
1#
發表於 2006-10-20 12:48 AM
| 顯示全部帖子
Modus ponendo ponens& Z+ p' o" u+ c6 R; i$ t5 E
P --> Q, 因為 P 所以 Q0 k. {, U' q- V7 l! F6 h
) z8 c0 x O4 t8 y8 X! f( E" Z
Modus tollendo tollens
" ~+ S1 u5 q- l3 ^; L5 GP --> Q, 取得 ~P 所以 ~Q
' e6 N3 |2 u- `, ^! J& n1 R( R) W8 U( u, Q
Disjunctive syllogism
: v' w; g3 _3 @4 R0 t! ?3 U4 uP or Q, 取得 ~P 所以 Q- \2 y4 u7 _6 y, T' o* l" L# W
P or Q, 取得 ~Q 所以 P
* s9 {9 R" d+ C/ {: O9 ] k0 c8 p; @& C1 }
Conjunctive syllogism
3 X% E& E( |1 J4 _~(P & Q), 取得 P 所以 ~Q' p( _1 @ R' m8 `/ q
~(P & Q), 取得 Q 所以 ~P$ R" R5 y! [3 ^9 O! d3 d
7 B* G+ N/ P9 @) E/ o+ L& qHypothetical syllogism8 a& p% y; ]+ {2 g" d9 m5 J
P --> Q, 取得 Q --> R 所以 P --> R5 i- N2 n) y0 ^3 r1 ?) W) `# Q
' S$ r1 K" m- p5 p% n+ gDe Morgan's theorem* T9 H- ?3 C& t( R: B% V% A$ ~
~(P & Q) 所以 ~P or ~Q
& D9 ~" ~1 g+ D e6 A~(P or Q) 所以 ~P & ~Q |
|
