[商管] 中山103 資結

[BrownCony (Browny)]

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
推 yupog2003: 1(B)查了wiki之後發現*和%優先權一樣，用程式跑一遍發
→ yupog2003: 現答案是9，有吻合
→ yupog2003: 2(A)我跟你只差在forall y改存在y，forall z改存在z
→ yupog2003: 不過我覺得他光例子就有點問題，have a farther應該要
→ yupog2003: 用唯一存在才對？不然x可能有好幾個farther...
→ yupog2003: 2(B)我會寫:
→ yupog2003: forall x (ostrich(x) -> bird(x) ^ not normal(x))
→ yupog2003: 但是predicate calculus我超級沒把握就是了...