判断下列问题是否正确,并说明原因（∃ x）（p（x）→Q（y）∧R（z））中约束变元为y

判断下列问题是否正确,并说明原因（∃ x）（p（x）→Q（y）∧R（z））中约束变元为y
判断下列问题是否正确,并说明原因
（∃ 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

设论域元素为：a1 , a2 , … , an 。则有如下等价式： ("x)a(x) û a(a1) ∧a(a2 ) ∧,…, ∧a(an)($x)a(x) û a(a1) ∨a(a2 ) ∨,…, ∨a(an)量词对变元的约束，往往与量词的出现顺序有关。又("y)( $x)(x<(y-2))表示任何y均有x，使得x

全部展开

设论域元素为：a1 , a2 , … , an 。则有如下等价式： ("x)a(x) û a(a1) ∧a(a2 ) ∧,…, ∧a(an)($x)a(x) û a(a1) ∨a(a2 ) ∨,…, ∨a(an)量词对变元的约束，往往与量词的出现顺序有关。又("y)( $x)(x<(y-2))表示任何y均有x，使得x

收起