|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
- w- U0 u1 [9 }P --> Q, 因為 P 所以 Q
' ]: {' W( @. ~) e; l- \: X
' V5 f# r5 P0 B: vModus tollendo tollens/ _1 n" }: U; B3 R
P --> Q, 取得 ~P 所以 ~Q
# q5 X$ o& W. g9 P
4 a6 _* w2 [) ~+ N2 qDisjunctive syllogism
: M+ H( @+ e# A0 V! {* E, QP or Q, 取得 ~P 所以 Q
9 J. u- k; }$ H! K$ u4 ~P or Q, 取得 ~Q 所以 P" J. e* O" I5 K% @, ~% o
6 ?; v" A9 {" e3 L" [ A2 V: dConjunctive syllogism
' `1 U$ O. [0 ^) H; T2 q~(P & Q), 取得 P 所以 ~Q
Q% @, x7 F, Z+ X4 Y+ N~(P & Q), 取得 Q 所以 ~P, ?+ W2 m4 G% E6 @: C, h
! _ G Z9 w1 n; l' LHypothetical syllogism$ B/ Q- L0 z5 W/ T
P --> Q, 取得 Q --> R 所以 P --> R
3 N# o8 s4 p9 h) J9 k' Z/ p) p' U+ d. F$ i
De Morgan's theorem' r2 F2 q: N( F0 G" r
~(P & Q) 所以 ~P or ~Q2 E4 x! o) S/ A; o/ ], G$ u' k# U
~(P or Q) 所以 ~P & ~Q |
|