问题：
[单选题]下列说法不正确的是：
A空子句是永假的，不可满足的。
B在谓词逻辑中，不是任何一个谓词公式都可通过应用等价关系及推理规则化成相应的子句集。
C 任何文字的析取式称为子句。
D归结演绎定理证明的实质是对前提P和结论Q证明P->Q的永真性。
[单选题]下列说法不正确的是：
A空子句是永假的，不可满足的。
B在谓词逻辑中，不是任何一个谓词公式都可通过应用等价关系及推理规则化成相应的子句集。
C 任何文字的析取式称为子句。
D归结演绎定理证明的实质是对前提P和结论Q证明P->Q的永真性。
您可能感兴趣的问题
- 根据OverLay的载体不同,VXLAN的OverLay分为()3种。 A主机OverLay B网络OverLay C混合OverLay D虚实OverLay
- 大数据的定义是()。 A指无法在可承受的时间范围内用常规软件工具进行捕捉.管理和处理的数据集合 B任何超过了一台计算机处理能力的数据量 C具有很大价值的数据 D超过个人PC机或笔记本硬盘存储容量的数据
- Spark是一种包含流处理能力的下一代批处理框架。主要应用在广告、报表、推荐系统等业务上。()
- 下列关于Flume架构描述正确的有()。 ASource是数据的收集端,负责将数据捕获后进行特殊的格式化。 BSource将数据封装到事件(event) 里,然后将事件推入Channel中。 CCha
- Storm使用ZooKeeper来协调集群内的各种配置使得Storm的集群可以很容易的扩展。()
- 在当今云计算.大数据盛行的时代,关系型数据库性能遇到瓶颈,瓶颈的源头一般是在磁盘的I/O上。()
- NoSQL数据库同时具备了高性能.可扩展性强.高可用等优点。()
- Storm的主要组件包括( )。 A Spouts和Streams。 B Bolts。 C Topology。 D Stream Groupings。
- OpenFlow协议是SDN架构中位于控制面和转发面的第一个标准通信接口,允许直接访问和操控网络设备的转发面。()
