作业帮 > 语文 > 作业

关于离散数学命题符号化的问题

来源:学生作业帮 编辑:作业帮 分类:语文作业 时间: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.
    

为什么是这样 ,我觉得两个不是应该答案都好像第三题那样的吗?
在全总个体域中,对每一种个体变元的范围用特性谓词加以限制.一般:
①对全称量词:此特性谓词常作蕴含式的前件;
②对存在量词:此特性谓词常作合取项.