首页 青云排行榜 知识中心 控制台

在词公式中,如果存在量词在全称量词的辖域内,(例如yxp(x,y)),则依赖于y。将这种依赖关系表示为函数关系,这种函数称为(     )

依赖函数

Skolem函数

决定函数

多元函数

关于我们
公司简介
联系我们
联系我们
售前咨询: leizhongnan@eval100.com
售后服务: 0755-26415932
商务合作: support@eval100.com
友情链接
金蝶软件
快递100
关注我们
Copyright © 2023-2023 深圳慧题科技有限公司 粤ICP备2023109746号-1 粤公网安备44030002001082