摘要
从命题逻辑的角度 ,以可拓论为基础 ,建立了命题表示的一种新方法 ,提出了物元命题、事元命题和事物元命题的概念 ;指出物元命题与关于对象的陈述型命题相对应 ,事元命题和事物元命题与关于行为、事件的行为型命题相对应 ;探讨了命题的可拓性和可拓变换方法 ;给出了基于可拓集合的命题可拓集的概念 .
In the viewpoint of proposition logic and based on extension theory,a new method for proposition representation is proposed.The proposition representation of matter element,affair element and matter affair element is set up,which shows that a matter element is equivalent to a descriptive proposition and an affair element or a matter affair element to an action proposition.And then,the extensibility and the transformation of propositions are discussed.Finally,the concept of proposition extension set is given based on extension set.
出处
《广东工业大学学报》
CAS
2001年第1期88-93,共6页
Journal of Guangdong University of Technology
基金
国家自然科学基金!资助项目 ( 79870 10 7)
关键词
命题逻辑
可拓论
物元命题
事元命题
可拓性
proposition logic
extension theory
matter element
affair element
extensibility