10.3969/j.issn.1007-7162.2001.01.020
物元命题和事元命题
从命题逻辑的角度,以可拓论为基础,建立了命题表示的一种新方法,提出了物元命题、事元命题和事物元命题的概念;指出物元命题与关于对象的陈述型命题相对应,事元命题和事物元命题与关于行为、事件的行为型命题相对应;探讨了命题的可拓性和可拓变换方法;给出了基于可拓集合的命题可拓集的概念.
命题逻辑、可拓论、物元、事元、可拓性
18
O141.1,TP18(数理逻辑、数学基础)
国家自然科学基金79870107
2004-01-15(万方平台首次上网日期,不代表论文的发表时间)
共6页
88-93