|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
4 G2 o& f! ~9 jP --> Q, 因為 P 所以 Q$ ]% q5 F: i; F9 c' [2 t1 X
+ c9 T- V* u g" J& T3 g4 K9 kModus tollendo tollens
7 E% w* _2 u, v! e# m9 V/ EP --> Q, 取得 ~P 所以 ~Q
# _ h! }+ {# t# u* M/ S" e
: [& P/ @) O& C/ jDisjunctive syllogism4 V* n' b9 D' E/ _
P or Q, 取得 ~P 所以 Q
- X, u% Q8 n% L/ oP or Q, 取得 ~Q 所以 P0 d2 {, P; b+ L2 l. C, }( m2 {0 Q
+ J: Q/ v0 R' I& D1 W7 JConjunctive syllogism9 H7 R% e* }' }/ m
~(P & Q), 取得 P 所以 ~Q4 L1 W7 z3 o( D5 \3 W. E# i
~(P & Q), 取得 Q 所以 ~P
0 e- l( c5 m# ^2 s: [; _% S5 `/ v( W- C3 a* B7 `2 K) O
Hypothetical syllogism
: Z! ^$ E) n& Y9 p5 Z# X8 }$ bP --> Q, 取得 Q --> R 所以 P --> R) l$ H+ f/ W% m+ T+ k
4 |6 E4 f' P) H. `De Morgan's theorem6 q0 h' h) l% S
~(P & Q) 所以 ~P or ~Q& |) E! C8 V9 K% j; e
~(P or Q) 所以 ~P & ~Q |
|