在公式中变元y是（）

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

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

在公式中变元y是（）

① 自由变元

② 约束变元

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

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

参考答案：

复制

纠错

相关题目

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

① 自由变元

② 约束变元

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

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

查看完整题目与答案

【单选题】谓词公式x(P(x)∨(yR(y))→Q(x))中变元x是（　　　）

① 自由变元

② 约束变元

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

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

查看完整题目与答案

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

① 正确

② 错误

查看完整题目与答案

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

① 正确

② 错误

查看完整题目与答案

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

① 正确

② 错误

查看完整题目与答案

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

查看完整题目与答案

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

① 正确

② 错误

查看完整题目与答案

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

查看完整题目与答案

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

① 4种不同的解释

② 16个不同的命题公式

③ 14个可满足公式

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

查看完整题目与答案

【单选题】在公式<imgwidth="228"height="20"src="http://wljy.whut.edu.cn//uploadfiles/word/lsss001.files/image005.png">中变元y是（）

① 自由变元

② 约束变元

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

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

查看完整题目与答案

随机题目

【单选题】在Word的编辑状态，要想删除光标前面的字符，可以按（）键。

① Backspace

② Delete

③ Ctrl+P

④ Shift+A

查看完整题目与答案

【单选题】关于Word文档中的表格，下列描述错误的是 ( )

① 只能插入固定结构的表格

② 可以设置多种对齐方式

③ 可以调整行高和列宽

④ 可以设置多种文字环绕方式

查看完整题目与答案

【单选题】在对Word文档进行编辑的过程中，可通过快捷键( )保存文档

① Ctrl+S

② Ctrl+C

③ Ctrl+V

④ Ctrl+X

查看完整题目与答案

【多选题】在Windows的控制面板中，可以实现的操作包括 ( )

① 安装打印机

② 添加新字体

③ 创建新用户

④ 配置网络连接

查看完整题目与答案

【单选题】在Windows系统默认用户中，( )是管理员账号，具有对计算机的完全控制权

① Root

② User

③ Administrator

④ Guest

查看完整题目与答案

【单选题】操作系统的英文缩写为( )

① AO

② OA

③ OS

④ OP

查看完整题目与答案

【单选题】以下选项中，( )是可以直接执行的文件类型

① TXT

② HTML

③ EXE

④ RAR

查看完整题目与答案

【单选题】关于Windows回收站，下列说法错误的是( )

① 回收站占用部分硬盘空间

② 回收站占用部分内存空间

③ 各个驱动器的回收站可以使用同一设置

④ 各个驱动器的回收站可以独立设置

查看完整题目与答案

【单选题】如果不希望在Windows系统中显示某个文件，则需设置该文件属性为( )

① 只读

② 隐藏

③ 存档

④ 可读

查看完整题目与答案

【单选题】切换各种中文输入法的操作应使用( )。

① Shift+空格键

② Ctrl+空格键

③ Alt+Shift键

④ Ctrl+Shift键

查看完整题目与答案