谓词公式x(P(x)∨(yR(y))→Q(x))中变元x是（　　　）

答案查看网，轻松搜题/搜资源

【单选题】【消耗次数：1】

① 自由变元

② 约束变元

③ 既不是自由变元也不是约束变元

④ 既是自由变元也是约束变元

参考答案：

复制

纠错

相关题目

【单选题】在公式（）F（x，y）→（y）G（x，y）中变元x是（　　　）

① 自由变元

② 约束变元

③ 既是自由变元，又是约束变元

④ 既不是自由变元，又不是约束变元

查看完整题目与答案

【单选题】在公式中变元y是（）

① 自由变元

② 约束变元

③ 既是自由变元，又是约束变元

④ 既不是自由变元，又不是约束变元

查看完整题目与答案

【判断题】谓词公式中的改名规则只针对自由变元。

① 正确

② 错误

查看完整题目与答案

【判断题】若谓词公式中没有自由变元，且谓词也均是常项，则成命题。

① 正确

② 错误

查看完整题目与答案

【判断题】若谓词公式中有变元，则一定不是命题。

① 正确

② 错误

查看完整题目与答案

【判断题】命题公式中只要没有变元就是命题。

① 正确

② 错误

查看完整题目与答案

【简答题】命题公式中的一些命题变元和一些命题变元的否定之和，称为[填空1]

查看完整题目与答案

【简答题】命题公式中的一些命题变元和一些命题变元的否定之积，称为[填空1]

查看完整题目与答案

【单选题】下列为两个命题变元P，Q的小项是（　　　）

① P∧Q∧┐P

② ┐P∨Q

③ ┐P∧Q

④ ┐P∨P∨Q

查看完整题目与答案

【单选题】 2个命题变元可组成 ( ).

① 4种不同的解释

② 16个不同的命题公式

③ 14个可满足公式

④ 15个非永假的主合取范式

查看完整题目与答案

随机题目

【单选题】某直线的坐标方位角为163°50′36″，则其反坐标方位角为（）。

① 253°50′36″

② 196°09′24″

③ 16°09′24″

④ 343°50′36″

查看完整题目与答案

【单选题】确定直线与什么之间夹角关系的工作称为直线定向?（　）。

① 水平线

② 东西方向线

③ 标准方向线

④ 基准线

查看完整题目与答案

【单选题】坐标方位角是以（）为标准方向，顺时针转到测线的夹角。

① 真子午线方向

② 磁子午线方向

③ 坐标纵轴方向

④ 以上都不是

查看完整题目与答案

【单选题】为方便钢尺量距工作，有时要将直线分成几段进行丈量，这种把多根标杆标定在直线上的工作，称为（）。

① 定向

② 定线

③ 定段

④ 定标

查看完整题目与答案

【单选题】在闭合导线角度闭合差调整时，对角度闭合差反符号后（）。

① 按角度个数平均分配

② 按导线边数平均分配

③ 按边长成正比例分配

④ 按边长成反比例分配

查看完整题目与答案

【单选题】罗盘仪用于测定直线的（）。

① 真方位角

② 磁方位角

③ 坐标方位角

④ 象限角

查看完整题目与答案

【单选题】某段距离丈量的平均值为100m，其往返较差为+4mm，其相对误差为（）。

① 1/25000

② 1/25

③ 1/2500

④ 1/250

查看完整题目与答案

【单选题】经伟仪对中的目的是？

① 使仪器中心与测站点位于同一铅垂线上

② 使望远镜对准目标使

③ 水平度盘读数为0

④ 使竖直度盘读数为0

查看完整题目与答案

【单选题】竖直指标水准管气泡居中的目的是？

① 使竖盘处于铅垂位置

② 使竖盘指标指向90°

③ 使度盘指标指向270°

④ 使度盘指标指向90°或270°

查看完整题目与答案

【单选题】观测竖直角时，要求使竖盘水准管气泡居中，其目的是？

① 整平仪器

② 使竖直度盘竖直

③ 使水平度盘处于水平位置

④ 使竖盘读数指标处于正确位置

查看完整题目与答案