来源:学生作业帮 编辑:作业帮 分类:语文作业 时间:2024/10/04 15:04:11
关于离散数学命题符号化的问题
3. 有些人喜欢所有的花.(谓词符号)
设P(x):x是人; Q(y):y是花; R(x,y):x喜欢y.
4. 所有运动员都敬佩某些教练.(谓词符号)
设P(x):x是运动员;Q(y):y是教练;R(x,y):x敬佩y.
为什么是这样 ,我觉得两个不是应该答案都好像第三题那样的吗?
在全总个体域中,对每一种个体变元的范围用特性谓词加以限制.一般:
①对全称量词:此特性谓词常作蕴含式的前件;
②对存在量词:此特性谓词常作合取项.