单项选择题
A.端节点B.终叶节点C.子节点D.父节点
对于谓词公式P，如果至少存在一个解释使得公式P在此解释下的真值为T，则称公式P是（）A.永真的B.永假的C.可...
单项选择题对于谓词公式P，如果至少存在一个解释使得公式P在此解释下的真值为T，则称公式P是（）
A.永真的B.永假的C.可满足的D.不可满足的
设P和Q是两个谓词公式，D是它们共同的个体域，若对于D上的任何一个解释P和Q都有相同的真值，则称P和Q在D上（...
单项选择题设P和Q是两个谓词公式，D是它们共同的个体域，若对于D上的任何一个解释P和Q都有相同的真值，则称P和Q在D上（）
A.永真B.永假C.不可满足D.等价
消去存在量词时，当（）时，用skolem函数。A.存在量词未出现在全称量词的辖域内时B.存在量词出现在全称量词...
单项选择题消去存在量词时，当（）时，用skolem函数。
A.存在量词未出现在全称量词的辖域内时B.存在量词出现在全称量词的辖域内时C.以上情况都需要D.以上情况都不需要
