具有存在普遍量化的逻辑数学
嘿，我正在上逻辑数学课，我不确定这是否有效。最初的问题是
-ExEy [x =/= y ^ C(x,y) ^ C(y,x) ]
注意 - 是否定，E 是存在的，C(x,y) 是函数/谓词，^ 是 and 函数
问题：我可以使用 De Morgan 来
AxAy [x=y V -C(x,y) V -C(y,x)]
注意 A 是通用的，V是 or 函数。
hey I am taking a logic math class and I am not sure if this is vaild. The orginal problem is
-ExEy [x =/= y ^ C(x,y) ^ C(y,x) ]
note that the - is the negation, E is existential and C(x,y) is a function/ Predicates, ^ is the and function
QUESTION: can I use De Morgan to get
AxAy [x=y V -C(x,y) V -C(y,x)]
note that A is the universal, V is the or function.
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（1）
是的，这只是德摩根定律的标准应用。两个版本都意味着如果 C(x,y) 和 C(y,x) 则 x=y。
Yes, this is just the standard application of the De Morgan law. Both versions mean that if C(x,y) and C(y,x) then x=y.