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

摘要：

互逆主义逻辑是建立在解析几何的基础之上的.在空间解析几何中,空间曲线是两曲面的交线,在空间曲线中消去一元,即得投影柱面.与此类似,在互逆主义逻辑中,互逆蕴涵命题前件的两个合取支为两个曲面,它们的合取为空间曲线,若后件所表示的曲面恰为或真包含该空间曲线的投影柱面,则该互逆蕴涵命题成立,否则不成立.

关键词：曲面、空间曲线、投影柱面、互逆主义逻辑、互逆蕴涵命题

所属期刊栏目：21

分类号：O182.2(几何、拓扑)

在线出版日期：2007-04-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：12-14