- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens9 Y8 A+ L4 F: b4 _$ Y0 G
P --> Q, 因為 P 所以 Q
- q' c: y% N. s! p) e: L5 A/ b) ^$ q9 h
Modus tollendo tollens% C- v* g% v4 g+ J' j
P --> Q, 取得 ~P 所以 ~Q* N- l- h* X0 B# P
2 J* ]; H4 P% U
Disjunctive syllogism
+ F0 e* K6 A+ [7 [; N" ^9 K; gP or Q, 取得 ~P 所以 Q
! L5 ?' Z+ c# g; e: u8 YP or Q, 取得 ~Q 所以 P0 h. A1 d* r4 M3 p
& {# `/ O" U- ^8 ~% l& XConjunctive syllogism
6 q" H7 z" L) n' d% Y( r* J+ Z~(P & Q), 取得 P 所以 ~Q
5 X& y4 f" F4 Y% S0 S$ d9 O~(P & Q), 取得 Q 所以 ~P
. s/ E1 S5 a2 D. b N9 T
. J1 Z) O' e# w5 [6 o! b$ P( V" aHypothetical syllogism
: s0 m- c) G; f" Y% f1 |) yP --> Q, 取得 Q --> R 所以 P --> R
! r) O& O0 y" e, f$ z$ U8 D( i
4 ~" \5 }3 ^! VDe Morgan's theorem
' R+ f" @4 f6 J; Y~(P & Q) 所以 ~P or ~Q
7 W) J, S! Q( k( |9 d~(P or Q) 所以 ~P & ~Q |
|