王育军 崔向平

抛物柱面 真值表 内部 论证的有效性 图形类型 虚切线 判断 递归矩阵生成算法 统一处理 空间曲线 歧义性 主合取范式 高校 命题逻辑 相互转化 校园文化建设 均方值 锥面 永真式、永假式和可满足式 统一方程 二次曲面 切线 二次曲线 拟序 命题公式 可重复排列与可重复组合 计算机计算和输出 曲线外的定点 距离 一般螺线

甘肃兰州 甘肃教育学院数学系 甘肃联合大学数学与信息学院 深圳教育学院附中 甘肃教育学院教学系