斷定表分析示例

問題 分析 Chap.5.1 (Lec.17) 自動售貨機軟件例子生成的斷定表圖例的第6列和第23列，分別給出：web 輸入條件的天然語義陳述； 輸出結果的天然語義陳述； 用命題邏輯形式描述實現上述輸入-輸出過程所應用的斷定規則，並寫出得到輸出結果的推理演算過程 解答 輸入條件的天然語義陳述 第6列：當前售貨機可找零，投入一元硬幣，並按下橙汁按鈕 第23列：當前售貨機不可找零，投入一元硬幣，並按下

>>阅读原文<<