题目内容

谓词逻辑推理结构中使用全称量词消去US规则或存在量词消去ES规则将量词辖域中的指导变量例化,进而可以使用基本的推理规则。在一段演绎推理序列中,如果要将指导变量例化成同名的个体常量,必循严格遵循先ES再US的原则。这是因为()。

A. 谓词逻辑推理的形式结构就是这样定义的
B. US引入的个体实例都是ES不能接受的
C. ES引入的任何个体实例都可以被US接受
D. 这只是一种约定俗成的书写习惯

查看答案

搜索结果不匹配？点我反馈

更多问题

棘轮机构中的主动件棘爪，可由（）机构、（）机构、（）机构等推动。

安瓿灌封机药液计量装置是通过（）机构实现的。

A. 曲柄摇杆机构
B. 双曲柄机构
C. 凸轮机构
D. 槽轮机构

注射剂安瓿输送机构属于（）

A. 曲柄摇杆机构
B. 双曲柄机构
C. 曲柄滑块机构
D. 双摇杆机构

药厂常用的自动送盒机构属于（）。

A. 曲柄摇杆机构
B. 双曲柄机构
C. 曲柄滑块机构
D. 双摇杆机构