离散数学的谓词逻辑题目所有运动员都钦佩某些教练(A - 知识问答

离散数学的谓词逻辑题目所有运动员都钦佩某些教练(A(x,y)) 有些大学生不钦佩运动员.写出上两句的谓词表达式.对下列公

1个回答

定义谓词：
A（x,y）：x钦佩y；
变元个体域：
x：运动员；
y：教练；
z：大学生；
1、（任意x）（存在y）A（x,y）；
2、（存在z）（任意x）¬A（z,x）；
3、（（任意y）P（s,y）∧（存在z）Q（s,z））∨（任意x）R（x,t）；

相关问题