竞赛考级题库
首页
(current)
考级题库
Scratch等级考试
Python等级考试
C/C++等级考试
机器人等级考试
竞赛题库
蓝桥青少年竞赛
NOIP CSP J/S 信奥赛
信息学奥赛一本通
考级协会
CFF编程能力等级认证(GESP)
CIE青少年编程等级考试
NCT青少年编程能力等级测试
蓝桥等级考试
竞赛考级试卷
Scratch试卷
Python试卷
C/C++试卷
机器人试卷
搜索
登 陆
编程题
求2个谓词公式的真值-2 ## 题目描述 记谓词公式P(x, y)为:x是y的因子(即x能整除y)。 请在有限个体域{2, 3, 4, 6, 8, 12, 14}上通过枚举客体变元求以下两个谓词公式的真值: F1:(∀y)(∃x)P(x, y) F2:(∃x)(∀y)P(x, y) ## 输入描述 无输入。 ## 输出描述 依次输出F1和F2的真值(T或F),用空格隔开。禁止采用手工演算或推测得出结论,再用输出语句输出答案。 ## 知识点 - 变元的枚举 - 量词 - 谓词公式的真值
查看答案
资讯
更多
试券更新
信息学奥赛一本通(C++版)
机器人及编程课程简介
2024南昌市青少年信息学奥林匹克竞赛-提高组
2024南昌市青少年信息学奥林匹克竞赛-普及组
关于我们
1、教学系统
2、机器人及编程课程简介
3、编程题库
4、信息学奥赛一本通
教学平台
1、教师登入
2、学生登入
3、教师答题
测试试卷
1、Scratch历年真题
2、Python历年真题
3、C++历年真题
4、机器人历年真题
赣ICP备20007335号-2