╭──────────── 提醒：版規三及版規四 ─────────────╮ │解題文需附上自己的解題過程或自己對題目的理解 │ │問題文需先自行查過網路資料並附上對資料的初步理解 │ │問題獲得回答後也勿任意刪除文章，並適度的向回答者表達感謝之意 │ ╰──────────────────────────閱讀後可用ctrl+y刪除╯ 【出處】(習題或問題的出處) 研究會用到 【題目】(題目的文字敘述，如有圖片亦可提供圖片) https://upload.cc/i1/2022/03/30/5K0nAr.png 【瓶頸】(解題瓶頸或思考脈絡，請盡量詳述以利回答者知道要從何處講解指導) (錯誤示範：第X題我不會，求詳解) (錯誤示範：acceleration of gravity是什麼意思我看不懂) (正確示範：我算出來的答案好像不太對，這是我的計算過程，哪裡出問題?) 本魯好奇的是 如果只定義 precondition 被滿足的機率 不超過 postcondition 被滿足的機率 並不代表 precondition 發生 implies postcondition 被發生啊？ 舉例來說，投擲一顆骰子出來的點數，1 點的機率是 1/6，非 1 點的機率是 5/6， 但是就 identity program 來說，擲出 1 點 & 擲出非 1 點 確實是互斥的， 這樣怎麼還能說 擲出 1 點 是 擲出非 1 點 的 pre condition 呢？ 還是說 量子力學 有什麼神秘之處 是我還沒發現的 嗎？ 先謝謝板上大大指點迷津了！主要希望在於這樣定義的合理性。 --

※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 115.43.121.35 (臺灣) ※ 文章網址: https://webptt.com/m.aspx?n=bbs/Physics/M.1648657274.A.97D.html