為什麼這篇quantifier離散鄉民發文收入到精華區：因為在quantifier離散這個討論話題中，有許多相關的文章在討論，這篇最有參考價值！作者dearwen61 (Water Blue)看板Grad-ProbAsk標題[理工] 離散數學 ...
一、令P(x)代表「x是一個認真工作的人」，Q(x)代表「x的表現令人滿意」，R(x)代表
「x是一個不愛思考的人」。假設x代表所有人的集合，請用量詞（Quantifiers）及
邏輯符號及P(x)、Q(x)、R(x)來表達下列敘述。
(1)所有認真工作的人的表現都是令人滿意的。
(2)某些不愛思考的人的表現令人不滿意。
(3)某些不愛思考的人也是不認真工作的人。
二、說明下列敘述之意義，並求出反敘述。
(all x)(some y)(all z)(A(z) ^ (~B(x,y)))
答
由於量詞打不出來，所以小弟直接打文字
一、
(1)(all x)(P(x) ^ Q(x))
(2)(some x)(R(x) ^ ~Q(x))
(3)(some x)(R(x) ^ ~P(x))
二、
意義:對所有x、z而言，存在一些y滿足A關係且滿足否B關係
反敘述:(all x)(some y)(all z)(~A(z) or B(x,y))
以上是小弟的擬答，但總覺得怪怪的，還請高手幫忙抓一下錯誤
小弟先行言謝，感恩。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.35.49.13
推 A4P8T6X9:反敘述錯了 09/04 09:16
→ dearwen61:感謝A大的回覆 09/04 10:52
→ dearwen61:能否請教一下，那反敘述應該如何描述呢? 09/04 10:52
→ dearwen61:是不是前面的xyz三變數的量詞也要改變呢? 09/04 10:53
→ A4P8T6X9:是 09/04 12:32
→ dearwen61:再次感謝A大的回答 09/04 13:53