设A和B为任意两个谓词公式,若A→B为逻辑有效的,则称A蕴含B,记为A=>B。
查看答案
以下关于谓词逻辑蕴含关系的说法正确的是？
A. 命题逻辑的基本蕴含式可以应用于谓词逻辑中。
B. 可以通过前件真推导后件真的方法来证明谓词逻辑的蕴含关系。
C. 可以通过后件假推导前件假的方法来证明谓词逻辑的蕴含关系。
以下关于谓词的推理理论说法正确的是？
A. 如果一个个体变元用ES规则消去量词，则只能使用EG规则对该变元添加量词，不能使用UG规则。
B. 如果使用UG规则消去量词，则对该变元添加量词时，可以使用EG规则和UG规则。
C. 在证明序列中先引入带存在量词的前提。
D. 可以使用命题逻辑中的CP规则。
What is the little girl doing?
A. Chating on line with her friend.
B. Watching her favorite TV program.
C. Singing Karaoke.
D. Playing computer game.
Where is the little girl?
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.
微信支付 
支付宝支付