¬ (∀xF(x,y)Ⅴ∃yG(x,y))对应的前束范式是______。
∃x∀y¬(F(x,u)ⅤG(v,y))
扫描二维码免费使用微信小程序搜题/刷题/查看解析。
版权声明:本文由翰林刷题小程序授权发布,如需转载请注明出处。
本文链接:https://doc.20230611.cn/post/430131.html
上一篇:简述再贴现的效果及与公开市场业务的区别。
下一篇:使员工和睦相处、协调共事、取得群体认同,这项人力资源管理功能是