<<新主題 | 舊主題>>
娛樂滿紛 26FUN » 吹水版 » 玩下啦~
返回列表 回復 發帖
Modus ponendo ponens! L/ I9 Y2 y- `- c' a! V
P --> Q, 因為 P  所以 Q7 T0 P' q9 \& Q6 g9 C* j
; E! ^. p( M  i4 w  [
Modus tollendo tollens8 O* Q' n  B) @. p7 Q+ m/ k2 k6 ^) \
P --> Q, 取得 ~P  所以 ~Q
$ I6 K% p7 b9 Z! h" b% d& X, S. H$ G) e) K( k/ U
Disjunctive syllogism) W+ c: ?0 e, L2 [  p0 v! Q
P or Q, 取得 ~P  所以 Q
: [! P) [! n8 n' ?! s; LP or Q, 取得 ~Q  所以 P
9 T2 X" L2 G: ^4 |
+ ~0 Y% `, k- i9 u1 w' @$ l; bConjunctive syllogism
$ x4 A: f1 @2 g' Z4 o~(P & Q), 取得 P  所以 ~Q) m1 \! s9 ~; w) [9 K& d( c
~(P & Q), 取得 Q  所以 ~P' ?5 L1 v9 F0 i
( g- p3 W/ j  L! I# H1 _' R
Hypothetical syllogism# C: i* w/ J1 P, c% K: a9 t1 I
P --> Q, 取得 Q --> R  所以 P --> R& g; }4 u6 N, _8 g3 c
% J9 L# \, x5 N# y) m( {
De Morgan's theorem4 `$ Z# s3 K0 P; {6 K+ B1 N. P
~(P & Q)  所以 ~P or ~Q
9 x( i% W$ a- A8 I/ |7 }~(P or Q)  所以 ~P & ~Q
返回列表 回復 發帖
<<新主題 | 舊主題>>
娛樂滿紛 26FUN » 吹水版 » 玩下啦~

重要聲明:26fun.com為一個討論區服務網站。本網站是以即時上載留言的方式運作,26fun.com對所有留言的真實性、完整性及立場等,不負任何法律責任。而一切留言之言論只代表留言者個人意見,並非本網站之立場,用戶不應信賴內容,並應自行判斷內容之真實性。於有關情形下,用戶應尋求專業意見(如涉及醫療、法律或投資等問題)。 由於本討論區受到「即時上載留言」運作方式所規限,故不能完全監察所有留言,若讀者發現有留言出現問題,請聯絡我們。26fun.com有權刪除任何留言及拒絕任何人士上載留言,同時亦有不刪除留言的權利。切勿撰寫粗言穢語、誹謗、渲染色情暴力或人身攻擊的言論,敬請自律。本網站保留一切法律權利。