[邏輯] 關於邏輯命題的一些英文用詞

看板Math作者 (陽光蜥蜴)時間12年前 (2013/10/01 21:30), 編輯推噓1(1推 0噓 4→)
留言5則, 2人參與, 最新討論串1/1
小弟今天在看原文書 有些邏輯的英文用語想請教大家 有一個定理 他的充要條件為 A iff B 他的證明寫 證 Necessity :內容是在證 A->B (從A證到B) 證 Sufficiency:內容是在證 B->A (從B證到A) 小弟疑惑的點在 如果是A->B , A不是會為B的充分條件嗎? (If A,then B), (A is sufficient for B) 可是書上卻寫 Necessity 反之亦然 請問有人可以幫小弟解惑嗎? -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.114.85.159
推
10/01 21:32, , 1F
A 是 B 的充份條件 反過來說 B 是 A 的必要條件
10/01 21:32, 1F
→
10/01 21:32, , 2F
這兩種講法是同一件事
10/01 21:32, 2F
所以 他寫necessity 其實是 因為B為A的必要條件 所以在證A->B?　 ※ 編輯: harry2258 來自: 140.114.85.159 (10/01 21:41)
→
10/03 04:16, , 3F
我想他的sufficiency是指"if" necessity指"only if"
10/03 04:16, 3F
→
10/03 04:18, , 4F
"A if B"就是B->A "A only if B"就是A->B
10/03 04:18, 4F
→
10/03 04:19, , 5F
不過這根本不重要 重點是兩個方向都要證就對了
10/03 04:19, 5F
‣ 更多 harry2258 的文章
文章代碼(AID): #1IIiwJZs (Math)