问题:
A空子句是永假的,不可满足的。
B在谓词逻辑中,不是任何一个谓词公式都可通过应用等价关系及推理规则化成相应的子句集。
C 任何文字的析取式称为子句。
D归结演绎定理证明的实质是对前提P和结论Q证明P->Q的永真性。
[单选题]下列说法不正确的是:
答案解析:
您可能感兴趣的问题
- 虚拟化的益处包括()。 A实现资源最优利用 B实现动态负载均衡 C通过系统自愈功能提升可靠性 D实现节能减排
- Ceph计算模式是一种完全无中心架构()
- 软件定义网络(SDN)特点。 A控制转发分离。 B控制平面集中化。 C转发平面通用化。 D控制器软件可编程
- 软件定义网络()将网络管理与底层网络基础设施分离开来,允许管理员动态调整整个网络的流量,以满足不断变化的需求。()
- 大数据的定义是()。 A指无法在可承受的时间范围内用常规软件工具进行捕捉.管理和处理的数据集合 B任何超过了一台计算机处理能力的数据量 C具有很大价值的数据 D超过个人PC机或笔记本硬盘存储容量的数据
- 传统的NFS不是一种典型的分布式系统,虽然它的文件的确放在远端(单一)的服务器上面。()
- 下列Storm工作流程描述正确的是()。 AClient节点提交Topology任务。 BNimbus节点将提交的Topology进行分片,分成一个个Task,分配给相应的Supervisor。 CN
- 云计算通过网络,借助()等先进的商业模式把强大的计算能力分布到终端用户手中。 A SaaS B PaaS C IaaS D MSP
- 下列属于软件类数据可视化工具有( )。 A Tableau。 B FineBI。 C Power-BI。 D Echarts。
- 数据处理大致分为两类()。 A OLTP(On-Line Transaction Processing:联机事务处理) B OLAP(On-Line Analytical Processing:联机分