[理工] 離散數學 量詞命題
一、令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
推
09/04 09:16, , 1F
09/04 09:16, 1F
→
09/04 10:52, , 2F
09/04 10:52, 2F
→
09/04 10:52, , 3F
09/04 10:52, 3F
→
09/04 10:53, , 4F
09/04 10:53, 4F
→
09/04 12:32, , 5F
09/04 12:32, 5F
→
09/04 13:53, , 6F
09/04 13:53, 6F