单选题

消解是一种可用于一定的()的重要推理规则。

A子句

B双条件

C合取公式

D蕴含公式

正确答案

来源:www.examk.com

答案解析

相似试题
  • H.261是一种可用于视频会议和可视电话业务的数字视频编码标准。

    判断题查看答案

  • AGP总线标准是一种可自由扩展的()总线结构。

    填空题查看答案

  • 激光视盘是一种可重写光盘。

    判断题查看答案

  • 赋值语句是一种可执行语句。

    判断题查看答案

  • CD-ROM是一种可读可写的外存储器。

    判断题查看答案

  • 应用选型是一种用于能力管理的技术,为什么应用选型重要?()

    单选题查看答案

  • Rapide是一种可执行的ADL,其目的在于通过定义并模拟基于事件的行为对分布式同步系统建模。

    判断题查看答案

  • ()是一种系统规则,Access可以用它来确保关系表中的记录是有效的,且可以确保用户不会在无意间删除或更改重要数据。

    填空题查看答案

  • Rapide是一种可执行ADL,其目的在于通过定义并模拟基于事件的行为对分布式并发系统建模。Rapide是由5种子语言构成。以下选项中的语言均为Rapide语言的是()

    单选题查看答案