互逆蕴涵命题的空间曲线投影柱面表示.pdfVIP

维普资讯 2007年3月 北京联合大学学报 (自然科学版) Mar．2007 第 21卷第 1期总 67期 JournalofBeijingUnionUniversity(NaturalSciences) V01．21No．1Sum No．67 互逆蕴涵命题的空间曲线投影柱面表示 周训伟 (北京联合大学 信息技术研究所 ，北京 100101) [摘 要] 互逆主义逻辑是建立在解析几何的基础之上的。在空间解析几何 中，空间曲线是两 曲面的交线，在空间曲线中消去一元，即得投影柱面。与此类似，在互逆主义逻辑 中，互逆蕴涵命 题前件的两个合取支为两个曲面，它们的舍取为空间曲线 ，若后件所表示的曲面恰为或真包含该 空间曲线的投影柱面，则该互逆蕴涵命题成立，否则不成立。 [关键词] 曲面；空间曲线；投影柱面；互逆主义逻辑；互逆蕴涵命题 [中图分类号] O182．2 [文献标识码] A [文章编号] 1005—0310(2007)O1—0012—03 互逆主义逻辑 ‘基于解析几何 。周坐标系 面来表示 。我们把前件 的2个合取支看作 2个曲 层次是对笛卡儿坐标系的扩展。一方面将连续坐 面，其合取为2个 曲面的交线即空间曲线 ，若该空 标轴扩展为离散坐标轴 ，一方面将坐标系扩展为4 间曲线的投影柱面恰为后件的曲面或被后件 的曲 层 。 面所真包含 ，则该命题成立 ，否则该命题不成立。 在解析几何里 ，设有两个曲面方程 (1)与 (2)。 1 本一单经数命题 的空间曲线投影 F (，Y，z)=0 (1) 柱面表示 F：( ，Y，z)=0 (2) 这两个 曲面的交线是一条空间 曲线如方程组 本一单经数命题 的讨论是在项坐标系 中进行 的。 (3)所示 。 例 2：用空间曲线的投影柱面方法来确定本一 y,z 0 Fl(x, 【 ㈥ 一 1 F Y 0 单经数命题 ：YAyz≤ z成立 。 2 (…， ，z)： … 从 (3)中消去一个变元例如 z后得到该空间曲 解 ：在图 1中，曲面 ：Y由标有 “△”的沿 0。 线的投影柱面 (4)。 轴伸展的四条直线 ：(0，0，z)、(1，1，z)、(2，2，z)、 F( ，Y)：0 (4) (3，3，z)组成 (其中(0，0，z)表示 为 0，Y为0，z为 例 1： 已知两球面方程为 任意的直线 ，余类推)。曲面 Yz由标有 “口”的沿 +Y +z ：1 (5) 0轴伸展 的6条直线 ：(，0，1)、(，0，2)、(，1， +(Y一1) +(z一1) ： 1 (6) 2)、(，0，3)、(，1，3)、(，2，3)组成。曲面 ：Y 求它们的交线沿 0：轴的投影柱面。 与曲面Yz的交线 、空间曲线 ：YAyz由既标