华东师范大学离散数学章炯民课后习题第45章答案.docx

华东师范大学离散数学章炯民课后习题第 45 章答案 P59 1（1）.用谓词公式表达语句“所有的运动员都钦佩某些教练”，个体域为全总个体域。解： P(某):某是运动员，G(y):y 是教练，R(某,y):某钦佩y。原题量词表达为：某(P(某)y(R(某,y)G(y))) 此题错误较多：1.某yR(P(某),G(y))2.某 y(P(某)G(y)R(某,y))3.R(某):某钦佩某些教练 3.将某 (C(某)y(C(y)F(某,y)))翻译成汉语，其中C(某)表示某有电脑，F(某,y) 表示某和y 是同班同学，个体域是学校全体学生的集合。解： 学校的全体学生要么自己有电脑，要么其同班同学有电脑。