关于离散数学命题符号化的问题3. 有些人喜欢所有的花.(谓词符号)设P(x):x是人;  Q(y):y是花;  R(x,y):x喜欢y.   4. 所有运动员都敬佩某些教练.(谓词符号)设P(x):x是运动员;Q(y):y是教练;R(x,y):x敬佩y.    为什么是这样 ,我觉得两个不是应该答案都好像第三题那样的吗?

问题描述:

关于离散数学命题符号化的问题
3. 有些人喜欢所有的花.(谓词符号)
设P(x):x是人;  Q(y):y是花;  R(x,y):x喜欢y.
   

4. 所有运动员都敬佩某些教练.(谓词符号)
设P(x):x是运动员;Q(y):y是教练;R(x,y):x敬佩y.
    


为什么是这样 ,我觉得两个不是应该答案都好像第三题那样的吗?

在全总个体域中,对每一种个体变元的范围用特性谓词加以限制.一般:
①对全称量词:此特性谓词常作蕴含式的前件;
②对存在量词:此特性谓词常作合取项.