大学生应该以（）为根本要求，夯实综合素质基础，着力提升思想道德素质和法治素养，成为走在时代前列的奋进者、开拓者、奉献者。
A. 有理想
B. 有本领
C. 有担当
D. 有文化
查看答案
“思想道德修养与法律基础”是一门思想性、政治性、科学性、理论性、实践性于一体的思想政治理论课。
A. 对
B. 错
设A和B为任意两个谓词公式,若A→B为逻辑有效的,则称A蕴含B,记为A=>B。
A. 对
B. 错
以下关于谓词逻辑蕴含关系的说法正确的是？
A. 命题逻辑的基本蕴含式可以应用于谓词逻辑中。
B. 可以通过前件真推导后件真的方法来证明谓词逻辑的蕴含关系。
C. 可以通过后件假推导前件假的方法来证明谓词逻辑的蕴含关系。
以下关于谓词的推理理论说法正确的是？
A. 如果一个个体变元用ES规则消去量词，则只能使用EG规则对该变元添加量词，不能使用UG规则。
B. 如果使用UG规则消去量词，则对该变元添加量词时，可以使用EG规则和UG规则。
C. 在证明序列中先引入带存在量词的前提。
D. 可以使用命题逻辑中的CP规则。
微信支付 
支付宝支付