题目内容

设A、B是任意两个谓词公式，对A、B的任何赋值，若其真值相同，则称A与B是等价的，记作A ⇔B；若A→B是有效的，则称A蕴含B，记作A=>B。

A. 对
B. 错

查看答案

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

更多问题

谓词公式中，量词之前的否定联结词，不是否定该量词，而是否定该量词及其辖域。

A. 对
B. 错

一般情况下，一个谓词公式不是命题，只有当将谓词公式中的各种变元用指定的特殊的常元去代替，才能构成一个命题。这种代替就是对公式的一个解释。

A. 对
B. 错

1.角柱、边柱和中柱的顶层柱构造均相同（）

A. 对
B. 错

柱箍筋在楼面处起步距离为上下各100mm（）

A. 对
B. 错