→ hwanger : 這是原題目嗎 如果是(按照省略的法則) 那就是原PO說 11/06 23:02
→ aromaQ626 : 你是對的 11/06 23:02
→ hwanger : 的 如果是P(a,x)在a=1/3時有沒有可能被滿足 那答案 11/06 23:03
→ hwanger : 是"是" 11/06 23:03
→ DrMeredith : 謝謝您們,不好意思我現在被搞混了,請問這兩種狀況 11/06 23:41
→ DrMeredith : 有何不同呢?謝謝您 11/06 23:41
→ hwanger : 一個是for all x P(a,x)(一般省略量詞 就是指這個) 11/06 23:52
→ hwanger : 而satisfiable是指∃x,P(a,x)是對的 11/06 23:54
→ hwanger : 因為存在一個x可以"滿足"P(a,x) 11/06 23:55