|
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
1#
發表於 2006-10-20 12:48 AM
| 顯示全部帖子
Modus ponendo ponens% d+ k; h" i. h% A; N1 |& z* |
P --> Q, 因為 P 所以 Q
6 C0 z3 F; U; H3 `/ a$ l+ o0 f2 o3 V. F, ?) X
Modus tollendo tollens
9 |- D; w/ F9 A1 I4 l) `& e8 G$ ^# FP --> Q, 取得 ~P 所以 ~Q
2 N% D# o& M7 g7 t8 B/ Q, x2 \4 p4 Y; Y1 Q; q7 l
Disjunctive syllogism( \$ A; j% v* P8 m n
P or Q, 取得 ~P 所以 Q3 F! Z. @0 p6 u
P or Q, 取得 ~Q 所以 P$ `. n, Y4 ~: f1 x% Y
! x/ S) \1 x' t2 I7 XConjunctive syllogism
: I( L& F! T. a, E( c/ H3 p- R* N~(P & Q), 取得 P 所以 ~Q
* [ F7 `: ~7 H" s- k~(P & Q), 取得 Q 所以 ~P
/ R5 z4 W; E6 k: ]. b3 } f, y" c4 Y& W$ U) ]0 q
Hypothetical syllogism
, o& T+ t5 N/ q6 XP --> Q, 取得 Q --> R 所以 P --> R
& a5 F. f6 ]( T8 o$ l
; l/ ?$ G8 Z7 A' D- `0 ~De Morgan's theorem
. @" T" a: {, c" s+ x~(P & Q) 所以 ~P or ~Q
! g9 q' C/ N1 E) A+ Q~(P or Q) 所以 ~P & ~Q |
|
