与命题公式P（QR）等值的公式是（）。

设GxyP（x，y）Q（z，w），下面三个命题为真的是（）。A.G是前束范式B.G不是前束范式C.G不是一阶公...

单项选择题设GxyP（x，y）Q（z，w），下面三个命题为真的是（）。

C（B/A）表示在规则A->B中，证据A为真的作用下结论为真的是（）。A.可信度B.信度C.信任增长度D.概率

单项选择题C（B/A）表示在规则A->B中，证据A为真的作用下结论为真的是（）。

当前归结式是（）时，则定理得证。A.永真式B.包孕式C.空子句D.假子句

单项选择题当前归结式是（）时，则定理得证。