杭州紫金港培训学校(紫金港专升本)杭州紫金港培训学校(紫金港专升本)
同等学力申硕学科综合(计算机科学与技术)

设公式 B 中不含 x,则 \exists x (A(x) \to B) 等值于…

第 7 题单选题模拟题中等

设公式 B 中不含 x,则 ∃x(A(x)→B)\exists x (A(x) \to B)∃x(A(x)→B) 等值于( )

量词分配等值式谓词与量词自然语句形式化否定型等值式
回到课节:第 4 节 谓词逻辑:量词与自然语句的形式化
我要提问免费报名咨询