离散数学的谓词逻辑题目
所有运动员都钦佩某些教练(A(x,y))有些大学生不钦佩运动员。写出上两句的谓词表达式。对下列公式的自由变量进行带入。((任意y)P(x,y)^(存在z)Q(x,z))V...
所有运动员都钦佩某些教练(A(x,y)) 有些大学生不钦佩运动员。 写出上两句的谓词表达式。 对下列公式的自由变量进行带入。 ((任意y)P(x,y)^(存在z)Q(x,z))V(任意x)R(x,y)
展开
展开全部
定义谓词：
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）；
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）；
已赞过
已踩过<
评论
收起
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
