编程题
存在量词
## 题目描述
已知客体域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的答案与输入无关,在此不给出答案)
```
## 知识点
- 整除
- 素数
- 谓词
- 量词