题目内容

使用下述谓词：P（x）: x高兴、Q（x）: x是学生、R（x）: x努力学习，及量词表示自然语句“如果所有学生都努力学习，那么张老师就会高兴”为 “x（Q（x）∧R（x）Þ P（张老师））（）

查看答案

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

更多问题

以下逻辑公式中，（）是（~p∨~q）Þ（pÛ~q）的主析取范式

A. （p∧q）∨（p∧~q）∨（~p∧q）
B. p∨q
C. （p∧q）∨（p∧~q）
D. （p∧~q）∨（~p∧q）

在谓词公式（“x）（F（x）ÞG（y））Þ（$y）（H（x）∧L（x, y, z））中，（“x）的辖域是（）

A. （F（x）ÞG（y））
B. F（x）
C. （F（x）ÞG（y））Þ（$y）（H（x）∧L（x, y, z））
D. （“x）（F（x）

柱列表注写：KZ1,500*500，b1为250，b2为250，h1为200，h2为300，全部纵筋为12Ф20，箍筋类型1（4×4），箍筋Ф[email protected]/200，其中：柱纵筋直径尺寸为（）

A. 8mm
B. 12mm
C. 20mm
D. 25mm

柱列表注写：KZ1,500*500，b1为250，b2为250，h1为200，h2为300，全部纵筋为12Ф20，箍筋类型1（4×4），箍筋Ф[email protected]/200，其中：（4×4）表示（）

A. 箍筋肢数为4×4
B. 箍筋尺寸为400×400
C. 箍筋直径为4mm
D. 柱共有16根纵筋