命题逻辑的文氏图方法.pdfVIP

命题逻辑的文氏图方法 陈勇明1 王璐2 1.成都信息工程学院计算科学系数 成都610225 2.西南交通大学数学系 成都610031 摘要：系统地给出了用点集合来图解命题逻辑的工具——文氏图(JohnVenn)方法。通 过建立命题与适当集合之间的对应关系阐述了用文氏图直观地表示命题公式的否定、合取、析 取、异或、蕴涵、等价、与非、或非运算的依据。给出了在命题公式的类型判断、主范式的获取、 逻辑推论、逻辑联结词完全集的证明等方面的应用实例。应用Euler公式给出了文氏图方法 对命题变元个数的适用范围。 关键词：命题逻辑；文氏图；联结词；范式；完全集；卡诺图；Euler公式 ．‘2，…，LniIIlJ1， 17EI23.设命题公j ／7%V…V，ni， ．i：…．．i。}U{J．， 命题以上性质1一 1.2判 断 公 式 逻 辑 笛 例：判断等值式 (p， ． ^^^ 11．一 U一 “一 l 证明：莎7乡‘／J匕 A①1： 可见]Ac~A~I，AV TheVennDiagramforPropositionalLogic ChenYongminglWangLu 1.DepartmentofComputationScience,ChengduUniversityofInformationTechnology, Chengdu,610225 2.DepartmentofMathematics,SouthwestTransportationUniversity,Chengdu,610031 Abstract:TheVenndiagramforpropositionallogicissystematicallygivenout.Toconstruct themapbetweenpropositionandcertaincorrespondingsetexplainsthereasonwhytheVenndiagram canexactlyrepresentwellformedformulaanditslogicalconnectiveoperationsuchasnegation,con junction,disjunction,exclusiveor,implication,equivalenceandderivationaswell.Afterthatsev eralapplicationsoftheVenndiagramisdemonstrated.FinallyusingEulersformulatellsthecondi tionthathowmanypropositionalvariablestheVenndiagramissuitablefor. Keywords:Propositionallogic;Venndiagram;connective;principalnormalform;function allycompleteset;Karnaughdiagram;Eulerformula