[理工] 離散 一階邏輯

[showyoulovex (NONO)]

題目:http://ppt.cc/dr_Y


因為反向符號PTT無法顯示 請見諒

A代表所有  E代表存在

我的答案:

Ax(F(x)且P(x))->Ey(x=\=y->M(x,y))

                  ~~~~~~~~~



書上答案:Ax(F(x)且P(x))->EyM(x,y)

不是應該要確保 自己不是自己的父母嗎?

還是我想法有問題呢?




第二題:http://ppt.cc/V;Ko


我想問一下 寫題目時候需要像書上

把用哪個推論法則都寫出來

例如:

R(c) -> D(c)        rule of universal specififcation

上面這樣

還是說　寫出自己推論的過程與想法就可以了呢


要把所有推論法則都背起來　考試寫出來感覺不太可能欸..

但書上解答都這樣寫　　有點怕怕的

--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.134.26.47
推 AIdrifter:1.覺得你想法沒錯耶...但是那是我們的常識認知
→ AIdrifter:在我們想法裡面自己怎麼可能是自己的媽媽
→ AIdrifter:可是單從他敘述來看是看不出有這限制的
→ AIdrifter:他敘述只說 一個人她是女生又是雙親=>存在有人是他孩子
謝謝A大回應　我想在進一步請教

那若這樣寫呢
Ax(F(x)且P(x))->Ey(x=\=y且M(x,y))
                       ~~~~

這樣感覺想法好像也沒問題　

可是用符號表達意思好像不一樣

是不是我想法有癥結點　有時候不知道該用　且或是－＞

還請各位幫忙
※ 編輯: showyoulovex    來自: 140.134.26.47        (11/09 14:30)
推 AIdrifter:改成and 和 imply意思不同 換成布林來看
→ AIdrifter:and 1^1=1 也就是X一定要不等於y + M(x,y)也成立
→ AIdrifter:條件才是true
→ AIdrifter:但是如果是imply  x=y的話m(x,y)也成立 是OK的
→ AIdrifter:也會發生x=y M(x,y)也不成立的情形
→ AIdrifter:因為0->1 1->1 0->0 條件都會成立而and 只有1^1
→ AIdrifter:所以如果是imply是無法避免x=y M(x,y)成立
所以若要考慮自己不是自己的媽媽的情況

應該用and是嗎？　因為imply　仍有可能　違反的情況

抱歉　腦脹脹的　邏輯性不太好


※ 編輯: showyoulovex    來自: 140.134.26.47        (11/09 14:42)
推 AIdrifter:恩 如果是 imply 還是無法避免自己是自己媽媽的情形
→ AIdrifter:可是如果這樣就和原本答案符合...XD
感謝你精闢的回答　用布林來看卻實好了解太多了

主要是因為小黃習題　蠻多題都會用 x=\=y　寫這題我就習慣考慮進去

結果這題不用　我就有點困惑　囧

另外第二題　方便幫我看一下嗎

推論真的不好解啊..三分鐘想不出來就Ｇ了
※ 編輯: showyoulovex    來自: 140.134.26.47        (11/09 14:59)
推 AIdrifter:不過這樣他就強制x=/=y時 一定要有母子關係了
→ AIdrifter:但前面是for some  應該還可以接受
→ AIdrifter:我覺得我講的蠻亂的 等其他高手來解釋吧orz
→ sneak: 改成and 和 imp https://daxiv.com