Re: [請益]何謂"命題"??

看板logic作者 (D a L e e)時間19年前 (2005/07/17 03:43), 編輯推噓2(200)
留言2則, 2人參與, 最新討論串5/6 (看更多)
※ 引述《aletheia (HERESY)》之銘言: : ※ 引述《superfriday (無夜遊民...努力練功中.)》之銘言: : : 最近在學數學 : : 發現一些書上都有一些命題 : : 請問命題是什麼意思? : : 是定理的意思嗎? : 命題是種神秘有趣的東西 : 你可以把命題當作是 : 一直述句的意思 或是 這句子所要說或所要指的東西 : 目前有很多人用"語句" 來取代 "命題" : 命題有一個顯著的特性 就是它一定有真假值 命題(Proposition)所指的應該是直述句(Statement)的意義吧。 雪是白的 與 Snow is white.是不同的兩個statement 但是是同一個proposition : 非常非常粗糙的講 在數學裡你看的任何句子就是一個命題 : 譬如這樣的數學句子:三角形ABC為一正三角形 : 你應該知道 無論三角形ABC長什麼樣子 : 這命題一定是真或假 不可能同時又真又假 也不可能無法辨別其真假值 : 至於你提到的定理 稍微詳細一點說 : 一定理指的是:在一個"框架"中 絕對不可能為假的一命題 : 說的更白一點.... : 在你的數學課本裡 定理絕不可能是假的 也就是他一定是真的 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 218.184.84.238

210.58.173.109 07/18, , 1F
恩 同意 也這樣想
210.58.173.109 07/18, 1F

220.136.167.18 07/20, , 2F
雪是白的 和 雪是白的 有時仍指向不同的命題
220.136.167.18 07/20, 2F
文章代碼(AID): #12sMDjqS (logic)
討論串 (同標題文章)
文章代碼(AID): #12sMDjqS (logic)