|
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
1#
發表於 2006-10-20 12:48 AM
| 顯示全部帖子
Modus ponendo ponens
S2 Z. N* `& V v5 Z# cP --> Q, 因為 P 所以 Q
" T D0 F7 n+ e" y; i: b( M# R) ~( B q+ v! D! \: m* n( o
Modus tollendo tollens
! U7 _0 p; M! cP --> Q, 取得 ~P 所以 ~Q
- m0 P x$ P4 l
' p5 k$ h8 G: f5 _/ j+ ^Disjunctive syllogism. a% V% ?% s; [, Z# i- ^4 z) L
P or Q, 取得 ~P 所以 Q
" \' O |. d, z' vP or Q, 取得 ~Q 所以 P
' \& p2 R0 @) b
; S# z3 ]7 h4 y H; O8 r" tConjunctive syllogism
& ^4 j7 y% e0 N8 q. d~(P & Q), 取得 P 所以 ~Q
1 F2 F5 s' ^8 h$ u~(P & Q), 取得 Q 所以 ~P
! }; U( k: ^7 K5 E0 \2 D" r$ S, v- a; ~/ Q* D
Hypothetical syllogism
) C7 A% L3 T8 s% J" S$ ^P --> Q, 取得 Q --> R 所以 P --> R
. Z' v, H3 ?6 u2 w8 a
) I* P9 D2 I( l: UDe Morgan's theorem
4 q, c" I% _/ T; ^~(P & Q) 所以 ~P or ~Q; u/ z$ t. @# ] f& Z7 X
~(P or Q) 所以 ~P & ~Q |
|
