【判断题】【消耗次数:1】
对谓词公式中的变元和谓词均指定以常项,则成命题。
正确
错误
参考答案:
复制
纠错
相关题目
【判断题】 若谓词公式中没有自由变元,且谓词也均是常项,则成命题。
①  正确
②  错误
【判断题】 若谓词公式中有变元,则一定不是命题。
①  正确
②  错误
【判断题】 谓词公式中的改名规则只针对自由变元。
①  正确
②  错误
【单选题】 谓词公式x(P(x)∨(yR(y))→Q(x))中变元x是(   )
①  自由变元
②  约束变元
③  既不是自由变元也不是约束变元
④  既是自由变元也是约束变元
【判断题】 (AB)都是谓词公式。
①  正确
②  错误
【判断题】 命题公式中只要没有变元就是命题。
①  正确
②  错误
【简答题】 命题公式中的一些命题变元和一些命题变元的否定之和,称为[填空1]
【简答题】 命题公式中的一些命题变元和一些命题变元的否定之积,称为[填空1]
【判断题】 若论域指定并且有限,则可以对谓词进行量化断言处理,得命题。
①  正确
②  错误
【多选题】 将命题“小王学过英语和法语”用0 元谓词符号化合适的有:
①  令 F(x): x 学过英语; G(x): x 学过法语; a: 小王. 符号化为F(a)ùG(a)
②  令 F(x): 小王学过x; a: 英语; b: 法语. 符号化为F(a)ùF(b)
③  令 L(x, y): x 学过 y; a: 小王; b1: 英语; b2: 法语. 则符号化为L(a, b1)ùL(a, b2).
④  令 P: 小王学过英语; Q: 小王学过法语. 符号化为PùQ。
随机题目
【单选题】 寻址指令 MOV CX, [BX + DI + 20]使用的是哪一种寻址方式( )。
①  寄存器寻址
②  相对基址变址寻址
③  变址寻址
④  基址变址寻址
【单选题】 使用DOS系统功能调用时,使用的软中断指令是( )
①  INT 21
②  INT 10H
③  INT 16H
④  INT 21H
【单选题】 完成对CL寄存器的内容乘以4的正确操作是( )
①  ROL CL,1 ROL CL,1
②  MUL 4
③  SHL CL,1 SHL CL,1
④  MOV CL,2SHL CL,CL
【单选题】 下面程序段执行后,AL中的内容是( ) MOV AX,8833H ADD AL,AH DAA
①  21
②  21H
③  0C1H
④  0DDH
【单选题】 下列标志位中,可以用来判断计算结果正负的是( )
①  PF
②  SF
③  DF
④  OF
【单选题】 BUF1 DB 3 DUP(0,2 DUP (1,2),3)COUNT EQU $-BUF1符号 COUNT 等价的值是( )
①  6
②  18
③  16
④  9
【单选题】 下列数据定义语句中可实现留空20H个字节存储单元的是( )
①  DB 20 DUP(?)
②  DW 20H DUP(?)
③  DB 10H DUP(4 DUP(?))
④  DD 08H DUP(?)
【简答题】 终结符有[填空1],它们由词法分析器提供。
【简答题】 <img src="https://huaweicloudobs.ahjxjy.cn/C1DC9994B0BF5B2B6E05DE7207C9AE69.png" style="" title="t1.png"/>
【判断题】 <img src=https://huaweicloudobs.ahjxjy.cn/9214E483B6C407FEFAED4B3BB65E3810.png title=pdt.png alt=pdt.png/>
①  正确
②  错误