存在指定规则说明:若个体域中存在一些个体满足谓词A,则至少有某个确定的个体c满足谓词A。

时间:2022-11-11 05:28:44

相似题目