╭──────────── 提醒：版规三及版规四 ─────────────╮ │解题文需附上自己的解题过程或自己对题目的理解 │ │问题文需先自行查过网路资料并附上对资料的初步理解 │ │问题获得回答後也勿任意删除文章，并适度的向回答者表达感谢之意 │ ╰──────────────────────────阅读後可用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/cn.aspx?n=bbs/Physics/M.1648657274.A.97D.html