這題目不好選, 主要問題在於否定的語意同學們常會有其他解讀 先來看(a)選項, 它等價於 ¬∃x, (C(x) ∧ (∀y, F(y,x)→L(y,x))) (d)選項和(a)的差別只在於將"∧"改成"→" 而我們選(a)是因為考慮到原命題要否定的範圍比較小, 他想否定的應該是: "存在一個capable person x, 並且x is liked by all his friend", 而不是僅否定如果真的有存在一個capable person x, 則..., 也就是說兩者的差別在於原本要否定的命題考不考慮都沒有capable之人的情形
2 則留言:
這題目不好選, 主要問題在於否定的語意同學們常會有其他解讀
先來看(a)選項, 它等價於
¬∃x, (C(x) ∧ (∀y, F(y,x)→L(y,x)))
(d)選項和(a)的差別只在於將"∧"改成"→"
而我們選(a)是因為考慮到原命題要否定的範圍比較小, 他想否定的應該是: "存在一個capable person x, 並且x is liked by all his friend", 而不是僅否定如果真的有存在一個capable person x, 則..., 也就是說兩者的差別在於原本要否定的命題考不考慮都沒有capable之人的情形
再說的更明白一些, 假設今天都沒有capable之人,
我們也會認為題目的語意是OK的
也就是說(a)會是true, 但此時(d)會是false
了解了 謝謝助教!
張貼留言