<<新主題 | 舊主題>>
娛樂滿紛 26FUN » 吹水版 » 玩下啦~
返回列表 回復 發帖
Modus ponendo ponens
% C" }+ Y5 o) {P --> Q, 因為 P  所以 Q2 \7 v  U4 t" v$ b

, x" j* X  @, OModus tollendo tollens* p$ d' @1 W5 g4 M8 B
P --> Q, 取得 ~P  所以 ~Q
$ J6 ]0 ?) k3 K* n3 _: C' g" A7 z6 q$ ~5 N0 E* p$ p* z
Disjunctive syllogism
) n$ t% V& H! Q6 pP or Q, 取得 ~P  所以 Q. m* T! a5 c! C# z
P or Q, 取得 ~Q  所以 P/ R6 X+ s" ~+ D! P% t) `

# F! w! d8 z" C, g" ^0 Q% v( \; [Conjunctive syllogism
6 b, `3 l3 P" r1 p% [) O~(P & Q), 取得 P  所以 ~Q
; N0 {8 }2 ~* e. L8 b' v# Y~(P & Q), 取得 Q  所以 ~P/ U  J. Q7 A) O0 }: S3 ?
+ H1 i: K' F; I: b" C. ]* z
Hypothetical syllogism& H. P, A' Z; |8 S- j( O; r
P --> Q, 取得 Q --> R  所以 P --> R
5 `2 i2 c- t% U, b: ~* a, u
9 w/ ]( J4 N9 ^: P3 Z1 n! mDe Morgan's theorem7 {5 O$ x. n& I
~(P & Q)  所以 ~P or ~Q/ _! j5 g0 v4 x8 j4 a( e! B
~(P or Q)  所以 ~P & ~Q
返回列表 回復 發帖
<<新主題 | 舊主題>>
娛樂滿紛 26FUN » 吹水版 » 玩下啦~

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