PINGDINGSHANUNIVERSITY毕业论文(设计)题目:命题公式主范式地求法及应用院(系):数学与信息科学学院专业年级:数学与应用数学05级姓名:马蓓蓓学号:051030233指导教师:屈聪硕士2009月3日PINGDINGSHANUNIVERSITYThesis(design)Subject:TheSolutionandApplicationofPrincipalNormFormcollege:MathematicsandInformationScienceMajorandGrade:MathematicsandAppliedMathematics,Grade2005Name:MaBei-beiNo.:051030233Advisor:MasterQu-CongMarch3,2009中文摘要本文介绍了命题公式主范式地基本定义及相关定理,并对其作出相应解释;在此基础上,探讨了命题公式主范式地两种求法--,具体给出了主范式地七个方面地应用,并联系实际对这些应用加以阐述. b5E2RGbCAP关键词:主范式,真值表,主析取范式,主合取范式AbstractThispaperintroducesthebasicdefinitionsandrelatedtheoremsoftheprincipalnormform,,inordertosolovetheprincipalnormform,wediscusstwomethodswhichistruthtableandequivalentcalculus,panywithexamplestoillustrateit;finally,theapplicationoftheprincipalnormformisgiveninsevenaspects,binedwithreallife,:Principalnormform,Truthtable,Principaldisjunctivenormform,(合)(合),,伴随着计算机科学技术地迅猛发展,新地逻辑学分支——,,包括逻辑演算(命题演算与谓词演算)、公理集合论、证明论、递归函数论等,、自动控制、人工智能、程序设计、,给出了主范式地基础定义及相关定理,并对其中定义给出解释,定理做出解释;接着,有前面地基础,探讨出主范式地两种求法——真值表和等值演算,举出例子来加强对这两种方法地理解;最后,总结主范式地应用,系统地给出它地应用地七个方面,列出实例来充分说明,(1)单个命题变项和命题常项是合式公式,并称为原子命题公式.(2)若是合式公式,则也是合式公式.(3)若,是合式公式,则,,,也是合式公式.(4)有限次地应用(1)~(3),,为中地一部分,若为合式公式,,:(1)定义引进、等符号,用它们表示任意地合式,作为元语言符号,而具体地公式,如地作为对象语言符号.(2)为方便,等公式单独出现时,外层符号可以省去,写成,,公式中不影响运算次序地括号也可以省去,如,可以写成
命题公式主范式求法及应用 来自淘豆网m.daumloan.com转载请标明出处.
