编程题
存在量词 ## 题目描述 已知客体域A为“大于等于2、小于等于10000的自然数”,谓词P(x, y)表示“y能整除x(x≠y)”。 问题1:对输入的客体常量a,如果希望谓词公式(∃y)P(a, y)永为T,则客体变量y的取值范围最少可以包含多少个元素?如果y的范围取到客体域A,该谓词公式都不会永为T,则输出0。 问题2:如果希望谓词公式(∃x)(∃y)P(x, y)为T,则客体变量x和y的取值范围最少可以包含多少个元素?如果x和y的范围取到客体域A,该谓词公式都不会永为T,则输出0。 ## 输入描述 客体常量a的值,a为自然数且2≤a≤10000。 ## 输出描述 依次输出两个问题的解,用空格隔开。 ## 样例输入 ```txt 3 ``` ## 样例输出 ```txt 0 (问题2的答案与输入无关,在此不给出答案) ``` ## 知识点 - 整除 - 素数 - 谓词 - 量词
查看答案
赣ICP备20007335号-2