相关考题
-
单项选择题
设GxyP（x，y）Q（z，w），下面三个命题为真的是（）。
A.G是前束范式
B.G不是前束范式
C.G不是一阶公式
D.G是永真式 -
单项选择题
C（B/A）表示在规则A->B中，证据A为真的作用下结论为真的是（）。
A.可信度
B.信度
C.信任增长度
D.概率 -
单项选择题
当前归结式是（）时，则定理得证。
A.永真式
B.包孕式
C.空子句
D.假子句
