设σ是公式集F的一个合一，如果对于F的任何一个合一θ，都存在替换λ，使得：θ=σ·λ，则称σ是F的（）。 - 查题网

>> 高等继续教育 / 人工智能

高等继续教育 / 人工智能

题型描述: 填空题

设σ是公式集F的一个合一，如果对于F的任何一个合一θ，都存在替换λ，使得：θ=σ·λ，则称σ是F的（）。

积分

人工智能

参考答案：

点击查看答案

佳题速递：

1. 简答题：平面设计的视觉流程分为哪些类别？（5分）视觉设计基础

培训实施阶段注意事项不包括（）连锁经营管理

股东会的议事方式和表决程序，除《公司法》有规定的外，由（）公司法

用真值表判断公式“((pq) (qr)) (pr)”的类型: A、重言式 B、矛盾式 C、可满足式 D、无法确定计算机应用基础

[单选题] 用吹气式液位计测量液位时，当被测液体的液位发生变化时，()。 A.应保持气体的流量基本不变 B.应保证气体的流量随之正比的变化 C.应保证气源压力随之改变 D.应保证节流元件的阻力固定不变热工测量与仪表

下列矩阵中是满秩矩阵的是高等数学三：线性代数