logo - 刷刷题
下载APP
【简答题】

设A为任意的一阶逻辑公式,若A中(),则称A为封闭的公式。

题目标签:公式一阶逻辑
举报
参考答案:
参考解析:
.
刷刷题刷刷变学霸
举一反三

【多选题】反映资本家对工人的剥削程度的公式是:( )

A.
剩余价值/可变资本
B.
剩余价值/全部预付资本
C.
剩余劳动时间/必要劳动时间
D.
年剩余价值量/预付可变资本

【单选题】对公式xy(P(x,y)∧Q(y,z))∧xP(x,y) 的说法正确的是(    )

A.
x是约束出现,y是约束出现,z是自由出现
B.
x是约束出现,y既是约束出现又是自由出现,z是自由出现
C.
.x是约束出现,y既是约束出现又是自由出现,z是约束出现
D.
x是约束出现,y是约束出现,z是约束出现

【单选题】对一阶逻辑公式 x y(P(x,y) ∧ Q(y,z)) ∧ xP(x,y) 的说法正确的是 ( ) . prefix="o" ns="urn:schemas-microsoft-com:office:office" ?xml:namespace>

A.
x 是约束出现的, y 是约束出现的, z 是自由出现的;
B.
x 是约束出现的, y 既是约束出现的又是自由出现的, z 是自由出现的;
C.
x 是约束出现的, y 既是约束出现的又是自由出现的, z 是约束出现的;
D.
x 是约束出现的, y 是约束出现的, z 是约束出现的.