[問題] 量子力學中 precondition 的定義合理性
看板Physics作者alan23273850 (God of Computer Science)時間3年前 (2022/03/31 00:21)推噓0(0推 0噓 0→)留言0則, 0人參與討論串1/1
╭──────────── 提醒：版規三及版規四 ─────────────╮
│解題文需附上自己的解題過程或自己對題目的理解 │
│問題文需先自行查過網路資料並附上對資料的初步理解 │
│問題獲得回答後也勿任意刪除文章，並適度的向回答者表達感謝之意 │
╰──────────────────────────閱讀後可用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://www.ptt.cc/bbs/Physics/M.1648657274.A.97D.html