logo - 刷刷题
下载APP
【单选题】

在基于规则的正向演绎系统中,我们把事实表示为( )。

A.
I
B.
子句形
C.
非蕴涵形式的与或形
D.
与或形
E.
N规则
F.
-TH
举报
参考答案:
参考解析:
.
刷刷题刷刷变学霸
举一反三

【单选题】基于规则的正向演绎系统的的子集形式()

A.
子句的合取式(合取范式)
B.
子句的析取式(析取范式)
C.
文字的析取式
D.
文字的合取式

【单选题】命题演算的公理系统L与命题演算的自然演绎系统C相比:

A.
L系统的定理集更大
B.
C系统的定理集更大
C.
二者的定理集相同
D.
二者的定理集互不相干

【多选题】基于规则的逆向演绎系统的使用条件()

A.
事实表达式是文字合取形式
B.
事实表达式是任意形式
C.
规则形式为:W→L或W→L1∧L2其中L为单文字,W为任意形式。
D.
目标公式是任意形式

【单选题】基于规则的逆向演绎系统的子句形式:_。

A.
子句的合取式(合取范式)
B.
子句的析取式(析取范式)
C.
文字的析取式
D.
文字的合取式

【单选题】基于规则的正向演绎系统的子句形式()

A.
子句的合取式(合取范式)
B.
子句的析取式(析取范式)
C.
文字的析取式
D.
文字的合取式

【单选题】基于规则的正向演绎系统的子句形式:_。

A.
子句的合取式(合取范式)
B.
子句的析取式(析取范式)
C.
文字的析取式
D.
文字的合取式