单项选择题

在将谓词公式子句化的时候，首先要进行的是（）。

A.消去谓词公式中→和符号
B.变量标准化
C.消去存在量词
D.消去全称量词

<上一题 目录 下一题>
热门 试题

单项选择题
￢Q∧（P→Q）￢P是（）

A.假言推理
B.拒取式推理
C.吸收律
D.假言三段论
单项选择题
公式P∧（P→Q）Q 是（）推理。

A.假言
B.拒取式
C.吸收律
D.假言三段论
相关试题