西安电子科技大学内容总结和延伸软件学院(Ex)A(x)存在指定规则..A(c)(Vx)A(x)全称指定规则:.A(y)A(c)存在推广规则.. (3x)A(x)T→A(α)全称推广规则.:. T →(Vx)A(x)西安电子科技大学 内容总结和延伸 软件学院 存在指定规则 全称指定规则 » 存在推广规则 全称推广规则