题目

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

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


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

提问时间：2020-11-19

答案

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