※ 引述《jerry900287 (滷蛋)》之銘言：
: 問題如圖

: 看不太懂題目的意思,
: 尤其是weakest condition, weakest formula 和 F(≠Q(a,b))
: 有大大可以幫我解釋整題在幹嘛嗎QQ
想請問這題看了解答有點不太懂
假如我直接取 存在a,b P(a,b) 不就可以P(a,b) ->Q(a,b)了嗎
這邊我觀念不知道有哪邊不對
另外想請問有人有104年交大資聯數學離散部分的解答嗎
目前只找到第五題之後的答案
謝謝大家

林緯老師說也可以那樣寫 但這樣就沒有用到題目給的第二個條件 就看交大老師要怎麼改惹