【单选题】以下等值式不正确的是
A.
∀xF(x)∧∀xG(x)⇔∀x(F(x)∧G(x))
B.
∃x(F(x)∨G(x))⇔∃xF(x)∨∃xG(x)
C.
∀x(F(x)→G(y))⇔∃xF(x)→G(y)
D.
∃y(F(x)→G(y))⇔F(x)→∀yG(y)
【单选题】以下公式是∀xF(x)→∃yG(x,y)的前束范式的是
【单选题】公式“∀xF(x)→∃yG(x,y)”的前束范式是
【简答题】∃x(F(x) ∧∀yG(x,y,z)) →∃zH(x,y,z) 的前束范式_______________________。提示使用换名规则约束变元x换名成s,y换名成s,z换名成w。
【多选题】以下公式不是前束范式的是( )。
A.
∀x(F(x)→∃yG(x,y))→H(x,y)
B.
∀x∃y(F(x)→G(x,y))→H(x,y)
C.
∀x∃y((F(x)→G(x,y)→H(x,y))
D.
¬∀x∃y((F(x)→G(x,y))→H(x,y))
【多选题】语文专题学习网站的选题要从教学的需要出发,寻找有教育性、启发性的选题。据此,( )更适合用于制作专题专题网站。
【多选题】现浇或预制混凝土结构拆模时,应( )。
A.
在混凝土强度达到95%后才许承受其全部设计荷载
B.
在拆除模板过程中如发现混凝土有影响结构物安全的质量问题,应暂停拆除,经过处理后方可继续
C.
如因施工要求超载时,必须经设计单位核算并应加设临时支撑
D.
在混凝土强度达到100%后才许承受其全部设计荷载
E.
竖向结构(墙、柱、池壁、梁、板等)的侧模板,应在混凝土强度能保证该结构的表面及棱角不因拆模而受损时方可拆除