离散数学的谓词逻辑题目所有运动员都钦佩某些教练(A(x,y)) 有些大学生不钦佩运动员.写出上两句的谓词表达式.对下列公式的*变量进行带入.((任意y)P(x,y)^(存在z)Q(x,z))V(任意x)R(x,y)
问题描述:
离散数学的谓词逻辑题目
所有运动员都钦佩某些教练(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);