题目内容

以下关于谓词的推理理论说法正确的是？

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

查看答案

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

更多问题

A. Chating on line with her friend.
B. Watching her favorite TV program.
C. Singing Karaoke.
D. Playing computer game.

A. She's at the class room.
B. She's at an internet bar.
C. She's at her mother's office.
D. She's at home.

A. 第11～12天
B. 第20～21天
C. 第6～7天
D. 第14天