[商管] 中山103 資結

看板Grad-ProbAsk作者 (Browny)時間9年前 (2017/01/25 20:21), 編輯推噓1(107)
留言8則, 1人參與, 最新討論串2/2 (看更多)
1.請問第一題的(B)選項,"*"與"%"誰的優先權比較大呢? http://imgur.com/a/mAvZf 2.第七題的(A)和(B)要怎麼解答呢? http://imgur.com/a/pSAmx (A)小題我的想法是以下所述,不過我覺得好冗長,想問問有沒有更好的寫法呢 forall x [Person(x)-> ( (forall y(person(y) and Father(y,x))) and (forall z(person(z) and Mother(z,x))) ) ] (B)小題應該要考的是 not Normal(ostrich), 就是把ostrich代入,但我不確定要怎麼表示。 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 61.60.254.23 ※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1485346883.A.1D3.html

01/25 20:43, , 1F
1(B)查了wiki之後發現*和%優先權一樣,用程式跑一遍發
01/25 20:43, 1F

01/25 20:44, , 2F
現答案是9,有吻合
01/25 20:44, 2F

01/25 20:46, , 3F
2(A)我跟你只差在forall y改存在y,forall z改存在z
01/25 20:46, 3F

01/25 20:47, , 4F
不過我覺得他光例子就有點問題,have a farther應該要
01/25 20:47, 4F

01/25 20:47, , 5F
用唯一存在才對?不然x可能有好幾個farther...
01/25 20:47, 5F

01/25 20:50, , 6F
2(B)我會寫:
01/25 20:50, 6F

01/25 20:51, , 7F
forall x (ostrich(x) -> bird(x) ^ not normal(x))
01/25 20:51, 7F

01/25 20:51, , 8F
但是predicate calculus我超級沒把握就是了...
01/25 20:51, 8F
文章代碼(AID): #1OY9X37J (Grad-ProbAsk)
文章代碼(AID): #1OY9X37J (Grad-ProbAsk)