|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens7 Q P; ?/ i* Y9 d& l2 Q
P --> Q, 因為 P 所以 Q6 B w, n- G' @- B
1 x& e7 E1 I0 R# t( G0 |' X: xModus tollendo tollens1 l; n; P/ q c+ l0 Y6 z
P --> Q, 取得 ~P 所以 ~Q" P! e! `% \: s, U/ j& F
2 i7 J2 N- `. r1 ~
Disjunctive syllogism
8 {; i. \' T7 Q* x$ ~1 w* mP or Q, 取得 ~P 所以 Q3 ], C2 Z x4 I: W8 N: i
P or Q, 取得 ~Q 所以 P# J. Z6 p q; _9 H/ z: e. E* b
: c! @2 Z" f/ y( j) xConjunctive syllogism
" L2 a% K W' S0 z# r# B2 ~~(P & Q), 取得 P 所以 ~Q
5 Y( ~% X" U* U) R& U~(P & Q), 取得 Q 所以 ~P
4 z* J& t) b% E3 j X
o2 V6 b: ]) E" }& `# X( d/ O: N5 u7 aHypothetical syllogism9 c" o& d+ P3 Z3 x# N
P --> Q, 取得 Q --> R 所以 P --> R
) v9 ?- a7 n" D/ a
2 V2 _2 o! i& \: d3 u; UDe Morgan's theorem- p( M: K! m& F) ?
~(P & Q) 所以 ~P or ~Q
, w2 l& a1 d d8 B9 r5 U~(P or Q) 所以 ~P & ~Q |
|