指出下列公式中的指导变元,量词的辖域,各个体变项的自由出现和约束出现.(1) ∀x(F(x)→G(x,y)).(2) ∀xF(x,y)→∃yG(x,y).(3) ∀x∃y(F(x,y)∧G(y,z))∨∃xH(x,y,z).
查看答案
判断下列各式的类型.F(x,y)→(G(x,y)→F(x,y)).
判断下列各式的类型.∀x(F(x)→F(x))→∃y(G(y)∧¬G(y)).
设个体域为整数集Z, L(x,y):x+y=x-y.求下列各式的真值.(1) L(1,1).(2) L(2,0).(3) ∀yL(1,y).(4) ∃xL(x,2).(5) ∃x∃yL(x,y).(6) ∀x∃yL(x,y).(7) ∃y∀xL(x,y).(8) ∀x∀yL(x,y).
轴向拉压杆横截面上的正应力分布是（ ）。
A. 均匀的
B. 非均匀的
微信支付 
支付宝支付