【判断题】【消耗次数:1】
自然数里,a=2,f (x,y)=x+y,g (x,y)=x·y,F (x,y): x=y。公式“xy(F(f(x,a),y) ?F(f(y,a),x))”的真值为假。
正确
错误
参考答案:
复制
纠错
相关题目
【简答题】 自然数里,a=2,f (x,y)=x+y,g (x,y)=x·y,F (x,y): x=y。公式“xy(F(f(x,a),y) ?F(f(y,a),x))”的真值:[填空1]
【判断题】 自然数里,a=2,f (x,y)=x+y,g (x,y)=x·y,F (x,y): x=y。公式“xF(g(x,a),x)”的真值为真。
①  正确
②  错误
【简答题】 自然数里,a=2,f (x,y)=x+y,g (x,y)=x·y,F (x,y): x=y。公式“$xF(f(x,x),g(x,x))”的真值:[填空1]
【判断题】 实数集合里,a =0,f (x,y)=x-y,F(x,y): x=y, G(x,y): xy。公式“xy(F(f(x,y),a) ?G(x,y))”的真值为假。
①  正确
②  错误
【简答题】 实数集合里,a =0,f (x,y)=x-y,F(x,y): x=y, G(x,y): xy。公式“xy(G(x,y) ??F(f(x,y),a))”的真值:[填空1]
【简答题】 实数集合里,F(x,y): x=y, G(x,y): xy。公式“xy(G(x,y) ??F(x,y))”的真值:[填空1]
【判断题】 公式“x$y(F(x, y) ù G(y, z)) ú $xH(x, y, z)”中的全称量词x的辖域为:$y(F(x, y) ù G(y, z)) 。
①  正确
②  错误
【单选题】 自然数里,a=2,f (x,y)=x+y,g (x,y)=x·y,F (x,y): x=y。公式“<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/117E6A630A0200497B87D15B90307923.png data-tex=\exists />xF(f(x,x),g(x,x))”的真值:
①  0
②  1
③  2
④  不确定
【单选题】 自然数里,a=2,f (x,y)=x+y,g (x,y)=x·y,F (x,y): x=y。公式“<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />xF(g(x,a),x)”的真值:
①  0
②  1
③  2
④  不确定
【简答题】 判断公式“xy(F(x, y) ? F(y, x))”的类型:[填空1]
随机题目
【单选题】 已知三个字符为:a、X和5,按它们的ASCII码值升序排序,结果是________。
①  5,a,X
②  a,5,X
③  X,a,5
④  5,X,a
【单选题】 在微型计算机内存储器中,其内容由生产厂家事先写好的是_____存储器。
①  RAM
②  DRAM
③  ROM
④  SRAM
【单选题】 英文缩写CAI的中文意思是( )
①  计算机辅助教学
②  计算机辅助制造
③  计算机辅助设计
④  计算机辅助管理
【单选题】 电子计算机的最早的应用领域是________。
①  数据处理
②  数值计算
③  工业控制
④  文字处理
【单选题】 微型计算机系统采用总线结构对CPU、存储器和外设进行连接。总线通常由_____组成。
①  数据总线、地址总线和控制总线
②  数据总线、信息总线和传输总线
③  地址总线、运算总线和逻辑总线
④  辑总线、传输总线和通信总线
【单选题】 计算机能直接识别的语言是________。
①  高级程序语言
②  机器语言
③  汇编语言
④  C++语言
【单选题】 下列关于世界上第一台电子计算机ENIAC的叙述中,错误的是________。
①  它是1946年在美国诞生的
②  它主要采用电子管和继电器
③  它是首次采用存储程序控制使计算机自动工作
④  它主要用于弹道计算
【单选题】 下列设备中,属于输人设备的是( )
①  声音合成器
②  激光打印机
③  光笔
④  显示器
【单选题】 完整的计算机系统由( )组成。
①  运算器、控制器、存储器、输入设备和输出设备
②  主机和外部设备
③  硬件系统和软件系统
④  主机箱、显示器、键盘、鼠标、打印机
【单选题】 目前广泛使用的人事档案管理、财务管理等软件,按计算机应用分类,应属于_____。
①  实时控制
②  科学计算
③  计算机辅助工程
④  数据处理