在有序搜索中，如果节点x在希望树中，若x是（），则其所有子节点都在希望树中。

本原问题所对应的节点称为（）A.端节点B.终叶节点C.子节点D.父节点

单项选择题本原问题所对应的节点称为（）

对于谓词公式P，如果至少存在一个解释使得公式P在此解释下的真值为T，则称公式P是（）A.永真的B.永假的C.可...

单项选择题对于谓词公式P，如果至少存在一个解释使得公式P在此解释下的真值为T，则称公式P是（）

设P和Q是两个谓词公式，D是它们共同的个体域，若对于D上的任何一个解释P和Q都有相同的真值，则称P和Q在D上（...

单项选择题设P和Q是两个谓词公式，D是它们共同的个体域，若对于D上的任何一个解释P和Q都有相同的真值，则称P和Q在D上（）