超星 - 2-5 谓词逻辑的蕴含关系和推理理论

判断题

设A和B为任意两个谓词公式,若A→B为逻辑有效的,则称A蕴含B,记为A=>B。

A. 对
B. 错

多选题

A. 命题逻辑的基本蕴含式可以应用于谓词逻辑中。
B. 可以通过前件真推导后件真的方法来证明谓词逻辑的蕴含关系。
C. 可以通过后件假推导前件假的方法来证明谓词逻辑的蕴含关系。

多选题

A. 如果一个个体变元用ES规则消去量词，则只能使用EG规则对该变元添加量词，不能使用UG规则。
B. 如果使用UG规则消去量词，则对该变元添加量词时，可以使用EG规则和UG规则。
C. 在证明序列中先引入带存在量词的前提。
D. 可以使用命题逻辑中的CP规则。