结构推理
用谓词逻辑公式表示以下关系命题:
1.全社会应当尊重教师。
2.有些理科学生认识艺术系的所有老师。
3.男孩子如果努力学习就有一些漂亮的女孩子赏识。
【正确答案】1.设Qx:x是全社会的任一分子,Jx:x是教师,R(x,y):x应当尊重y,则(x)(Qx→(y)(Jy→R(x,y)))。
2.设Lx:x是理科学生,Yx:x是艺术系的老师,R(x,y):x认识y,则(x)(Lx∧(y)(Yy→R(x,y)))。
3.设p:男孩子努力学习,Px:x是漂亮姑娘,Nx:x是男孩子,则p→(x)(Px∧(y)(Ny∧R(x,y)))
【答案解析】