关于离散数学命题符号化的问题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.
为什么是这样 ,我觉得两个不是应该答案都好像第三题那样的吗?
答
在全总个体域中,对每一种个体变元的范围用特性谓词加以限制.一般:
①对全称量词:此特性谓词常作蕴含式的前件;
②对存在量词:此特性谓词常作合取项.