作者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