题目内容

某墙体采用MU20混凝土小型空心砌块，Mb20水泥混合砂浆。当砌块的孔洞率为46％、采用Cb40灌孔混凝土且施工质量控制等级为B级时，试计算下列灌孔率(ρ)的砌体抗压强度设计值。 A．ρ=100％ B．ρ=50％ C．ρ=20％

查看答案

搜索结果不匹配？点我反馈

更多问题

用输入归结策略是否可证明下列子句集的不可满足性？ S={P∨Q，Q∨R，R∨W，～R∨～P，～W∨～Q，～Q∨～R)

已知三个柱子1、2、3和三个盘子A、B、C(A比B小，B比C小)。初始状态下，A、B、C依次放在柱子1上。目标状态是A、B、C依次放在柱子3上。条件是每次可移动一个盘子，盘子上方是空时方可移动，而且任何时候都不允许大盘在小盘之上。请使用一阶谓词逻辑法对这一问题进行描述。

在选择知识的表示方法时，应该考虑哪些主要因素？

假设子句集S={P(z)∨Q(z)，R(f(t))}，S中不出现个体常量符号。设个体域D={1，2}。由H域和原子集的定义： H={a，f(a)，f(f(a))，…} A={P(a)，Q(a)，R(a)，P(f(a))，Q(f(a))，R(f(a))，…} 如果设I是D上的解释，并作如下的设定： I．f(1) f(2) P(1) P(2) Q(1) Q(2) R(1) R(2) 2 2 T F F T F T 请构造H域上的一个解释I与I相对应，且使S｜I=T。