作者chantaltw (nous)
看板logic
標題[請益] 關係述詞邏輯
時間Wed Feb 15 18:40:43 2012
不好意思 又來請教一個疑問
蘇格拉底尊敬一些人,柏拉圖尊敬一些人，但他們尊敬的對象未必完全相同。
(s:蘇格拉底,a:柏拉圖,Rxy:x尊敬y)
彭孟堯老師的符號邏輯一書中,給的答案是
(存在x)Rsx ^ (存在y)Ray
這答案我同意，但和我的寫法不同，而我又看不出來我的寫法跟答案有何不同....
我的寫法(存在x)(存在y)(Rsx^Ray)
我的寫法跟書上的答案是邏輯等價嗎@@?
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.119.49.36
1F：推 MathTurtle:是等價的... 02/15 19:01
2F：→ chantaltw:謝天謝地 不用再重整腦袋了 02/15 22:24