题目内容
（请给出正确答案）
[单选题]
与公式("x)(P(x)∧Q(x, y))Þ($x)R(x, y)等值的是（）。
A.("x)(P(x)∧Q(x, z))Þ($x)R(x, y)
B.("y)(P(y)∧Q(y, y))Þ($x)R(x, y)
C.("z)(P(z)∧Q(x, y))Þ($x)R(x, y)
D.("u)(P(u)∧Q(u, z))Þ($x)R(x, z)
提问人：网友zxfcumt
发布时间：2022-01-07
题目内容
（请给出正确答案）
如搜索结果不匹配，请 
您可能会需要：
安装简答题APP，拍照搜题省时又省心！
更多“与公式("x)(P(x)∧Q(x, y))Þ($x)R(x,…”相关的问题
求
第4题
( )不是有效的推理。
A、前提：("x)(~P(x)ÞQ(x)), ("x)~Q(x) 结论：P(a)
B、前提：("x)(P(x)ÞQ) 结论：("x)P(x)ÞQ
C、前提：("x)(P(x)∨Q(x)), ("x)(Q(x)Þ~R(x)) 结论：($x)(R(x)ÞP(x))
D、前提：("x)(P(x)Þ(Q(x)∧R(x))), ($x)(P(x)∧S(x)) 结论：("x)(R(x)∧S(x))
E、前提：("x)($y)P(x, y) 结论：("x)($y)($z)(P(x, y)∧P(y, z))
F、前提：("x)P(x)∨("x)Q(x) 结论：("x)(P(x)∨Q(x))
G、前提：("x)(G(x)ÞH(x))，~($x)(F(x)∧H(x)) 结论：($x)F(x)Þ($x)G(x)
H、前提：("x)(H(x)ÞM(x)) 结论：("x)("y)(H(y)∧N(x, y)) Þ ($y)(M(y)∧N(a, y) )
第5题
谓词公式($x)F(x) T ($x)G(x)的前束范式是( )。A、("x)(...
谓词公式($x)F(x) Þ ($x)G(x)的前束范式是( )。
A、("x)("y) (F(x) Þ G(y))
B、($x)("y)(F(x) Þ G(y))
C、("x)($y) (F(x) Þ G(y))
D、($x)($y)(F(x) Þ G(y))
第6题
谓词公式("x)(("y)Q(y) T P(x))的前束范式是( )。A、"x"...
谓词公式("x)(("y)Q(y) Þ P(x))的前束范式是( )。
A、"x"y(Q(y) Þ P(x))
B、"x$y(Q(y) Þ P(x))
C、$x"y(Q(y) Þ P(x))
D、$x$y(Q(y) Þ P(x))
第7题
假设论域为正整数，令谓词Odd(x)表示“x是奇数”；Even(x)表示“x是偶数”；Prime(x)表示“x是素数”；Equal(x, y)表示“x=y”；Greater(x, y)表示“x>y”。 则 
真值为假。
真值为假。
第8题
给定解释 I 为： 论域 D=正整数集合， f(x, y)=x+y， 谓词F(x, y)表示x=y， a=2。 那么在这个解释下，($x)("y)("z)F(f(y, z), x) 为真。
第9题
使用下述谓词：P(x): x高兴、Q(x): x是学生、R(x): x努力学习，及量词表示自然语句“如果所有学生都努力学习，那么张老师就会高兴”为 "x(Q(x)∧R(x)Þ P(张老师)) 。
