|
     
- 帖子
- 14832
- 精華
- 32
- 威望
- 11120
- 魅力
- 460
- 讚好
- 6
|
26#
發表於 2006-10-20 12:48 AM
| 只看該作者
Modus ponendo ponens
, K7 ]+ t+ [- n* a9 }$ dP --> Q, 因為 P 所以 Q
9 V8 l4 k: L0 c) g( s& V/ q% g* ?
Modus tollendo tollens. }. ]) d; k% B' ~
P --> Q, 取得 ~P 所以 ~Q3 C5 ^1 `7 `2 c3 h. U7 a
# D( U; @6 t8 W! \2 {) V! \
Disjunctive syllogism2 Z' D9 {$ b4 t6 c
P or Q, 取得 ~P 所以 Q
9 s8 R2 s/ H5 \( sP or Q, 取得 ~Q 所以 P j+ [( m# @' @1 k e
0 |7 B4 y: i L: V, o5 X- g% i* NConjunctive syllogism9 w8 N- q0 B3 l& H% E
~(P & Q), 取得 P 所以 ~Q
k! [9 v/ \' y~(P & Q), 取得 Q 所以 ~P
4 E+ i# Q- s/ v% o+ `4 t5 T2 e8 L: E: T
Hypothetical syllogism" j5 s# D! e H+ Y% B! y: E
P --> Q, 取得 Q --> R 所以 P --> R
) s1 U+ W( m3 O! f, {. I+ e+ g$ r% S; P# J4 i- `& o
De Morgan's theorem6 {1 ]: i. `) X& a, T" o% n, W
~(P & Q) 所以 ~P or ~Q( q! T$ A. w6 u- ]$ \0 O
~(P or Q) 所以 ~P & ~Q |
|