关于离散数学命题符号化的问题
问题描述：
关于离散数学命题符号化的问题
3. 有些人喜欢所有的花.（谓词符号）
设P(x)：x是人； Q(y)：y是花； R(x,y)：x喜欢y.
4. 所有运动员都敬佩某些教练.（谓词符号）
设P(x)：x是运动员；Q(y)：y是教练；R(x,y)：x敬佩y.
为什么是这样 ,我觉得两个不是应该答案都好像第三题那样的吗?
答
在全总个体域中,对每一种个体变元的范围用特性谓词加以限制.一般：
①对全称量词：此特性谓词常作蕴含式的前件；
②对存在量词：此特性谓词常作合取项.