| 互逆蕴涵命题的空间曲线投影柱面表示 |
| |
| 引用本文： | 周训伟.互逆蕴涵命题的空间曲线投影柱面表示[J].北京联合大学学报(自然科学版),2007,21(1):12-14. |
| |
| 作者姓名： | 周训伟 |
| |
| 作者单位： | 北京联合大学,信息技术研究所,北京,100101 |
| |
| 摘 要： | 互逆主义逻辑是建立在解析几何的基础之上的。在空间解析几何中,空间曲线是两曲面的交线,在空间曲线中消去一元,即得投影柱面。与此类似,在互逆主义逻辑中,互逆蕴涵命题前件的两个合取支为两个曲面,它们的合取为空间曲线,若后件所表示的曲面恰为或真包含该空间曲线的投影柱面,则该互逆蕴涵命题成立,否则不成立。
|
| 关 键 词： | 曲面 空间曲线 投影柱面 互逆主义逻辑 互逆蕴涵命题 |
| 文章编号： | 1005-0310（2007）01-0012-03 |
| 收稿时间： | 2006-11-09 |
| 修稿时间： | 2006年11月9日 |
The Representation of Mutually Inverse Implicational Proposition by Projective Cylinder of Spatial Curve |
| |
| ZHOU Xun-wei.The Representation of Mutually Inverse Implicational Proposition by Projective Cylinder of Spatial Curve[J].Journal of Beijing Union University,2007,21(1):12-14. |
| |
| Authors: | ZHOU Xun-wei |
| |
| Institution: | Institute of Information Technology of Beijing Union University, Beijing 100101, China |
| |
| Abstract: | Mutually-inversistic logic is constructed on analytic geometry.In spatial analytic geometry,a spatial curve is an intersecting line of two curved surfaces.When a variable is eliminated from the spatial curve,its projective cylinder is obtained.Likewise,in mutually-inversistic logic,the two conjuncts of the antecedent of a mutually inverse implicational proposition are two curved surfaces, and their conjunction is a spatial curve.If the projective cylinder of the spatial curve coincides with or is properly contained in the curved surface of the consequent,then the mutually inverse implicational proposition holds,otherwise it doesn't hold. |
| |
| Keywords: | curved surface spatial curve projective cylinder mutually-inversistic logic mutually inverse implicational proposition |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
