离散数学的谓词逻辑题目
所有运动员都钦佩某些教练(A(x,y)) 有些大学生不钦佩运动员.写出上两句的谓词表达式.对下列公式的自由变量进行带入.((任意y)P(x,y)^(存在z)Q(x,z))V(任意x)R(x,y)
人气:349 ℃ 时间:2019-11-04 13:00:36
解答
定义谓词:
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);
推荐
- 谓词逻辑问题
- 一道离散数学中谓词逻辑方面的题、
- 离散数学问题,谓词逻辑问题,求解,谢谢!
- 问一个关于离散数学谓词逻辑(一阶逻辑)的问题¥.
- ∀x(A(x)→B(x)),∀x(C(x)→┐B(x)) => 推出 ∀x(C(x)→┐A(x))
- 1.将一块长为12.56米,宽4米的长方形钢板卷成一个最大的圆柱,至少还需要补多大面积的钢板来做地面,才能做成一个密封的储油罐?(接头处忽略不计),这个储油罐的溶剂是多少立方米?
- A车和B车同时分别从甲、乙两地相向开出,经过5小时相遇.然后,它们又各自按原速度方向继续行驶3小时,这时A车离乙地还有135千米,B车离甲地还有175千米.甲、乙两地相距多少千米?
- 在 ( )实验中,除了实验变量不同外,其他因素一般都相同
猜你喜欢