二值命题逻辑F(S_n)中的基本推理链  

Basic Deductive Chain in Two-valued Propositional Logic F(S_n)

作　　者：王永安[1] 

机构地区：[1]西安文理学院数学系,陕西西安710065

出　　处：《西安文理学院学报（自然科学版）》2009年第4期6-10,共5页Journal of Xi’an University(Natural Science Edition)

基　　金：国家自然科学基金资助项目(10331010)

摘　　要：在原子公式之集为有限集Sn={p1,…,pn}时,二值命题逻辑的全体公式之集用F(Sn)表示.文中在F(Sn)中提出了基本推理链的概念,统计了不同长度的基本推理链的条数(在公式之间的逻辑等价或可证等价的意义下).同时给出了用基本推理链的概念来刻划A→B为定理的一个充要条件.When the set of atomic formulas is limit set Sn={p1,p2,…pn},the set of all fromulas in two-valued propositional logic is noted as F（Sn）.In this paper,under the condition of F（Sn）,the concept of basic deductive chain is provided,the number of basicdeductive chain with different length is given（in the meaning of logical equivalence or provable equivalence between formulas） and a necessary and sufficient condition to characterize theorem A→B using the concept of basic deductive chain is given.

关 键 词：二值命题逻辑 基本推理链 条数 

分 类 号：O141.1[理学—数学]