搜狗做题网判断下列问题是否正确,并说明原因
来源：学生作业帮 编辑：搜狗做题网作业帮 分类：数学作业 时间：2024/04/30 07:37:03
判断下列问题是否正确,并说明原因
（∃ x）（p（x）→Q（y）∧R（z））中约束变元为y
（∃ x）（p（x）→Q（y）∧R（z））中约束变元为y
解对y施行代入,经代入后公式为
($x)(p(z)ùr(x,z))
但是,($x)(p(x))ùr(x,x))与($x)(p(z)ùr(x,y))这两种代入都是与规则不符的.
需要指出,量词作用域中的约束变元,当论域的元素是有限时,客体变元的所有可能的取代是可枚举的.
设论域元素为：a1 ,a2 ,… ,an .
则有如下等价式：("x)a(x) û a(a1) ∧a(a2 ) ∧,…,∧a(an)
($x)a(x) û a(a1) ∨a(a2 ) ∨,…,∨a(an)
量词对变元的约束,往往与量词的出现顺序有关.
又("y)( $x)(x
($x)(p(z)ùr(x,z))
但是,($x)(p(x))ùr(x,x))与($x)(p(z)ùr(x,y))这两种代入都是与规则不符的.
需要指出,量词作用域中的约束变元,当论域的元素是有限时,客体变元的所有可能的取代是可枚举的.
设论域元素为：a1 ,a2 ,… ,an .
则有如下等价式：("x)a(x) û a(a1) ∧a(a2 ) ∧,…,∧a(an)
($x)a(x) û a(a1) ∨a(a2 ) ∨,…,∨a(an)
量词对变元的约束,往往与量词的出现顺序有关.
又("y)( $x)(x