【摘 要】
：
系统地给出了用点集合来图解命题逻辑的工具——文氏图(John Venn)方法。通过建立命题与适当集合之间的对应关系阐述了用文氏图直观地表示命题公式的否定、合取、析取、异或
【基金项目】
：
成都信息工程学院科研基金资助(CRF200702)
论文部分内容阅读
系统地给出了用点集合来图解命题逻辑的工具——文氏图(John Venn)方法。通过建立命题与适当集合之间的对应关系阐述了用文氏图直观地表示命题公式的否定、合取、析取、异或、蕴涵、等价、与非、或非运算的依据。给出了在命题公式的类型判断、主范式的获取、逻辑推论、逻辑联结词完全集的证明等方面的应用实例。应用Euler公式给出了文氏图方法对命题变元个数的适用范围。
其他文献
鸡大肠杆菌病是由大肠埃希氏杆菌(Escherichiacoli,E.coli)某些血清型菌株所引起的一类疾病的总称,是危害养鸡业主要细菌性疾病。大肠杆菌血清型众多,且易产生耐药性。鸡致病
董文华,女,1972年12月出生,河南省浚县人,1992年毕业于鹤壁师范学校,2012年参加东北师范大学“课程与教学论——数学”专业在职研究生进修学习,高级教师,现任教于鹤壁市山城
奶牛盗汗因心肾阴虚所致.阴虚则内热,内热蒸津则汗出. 临床表现食欲减少,泌乳下降,心率加快,体温正常或偏低,用手触摸牛被毛皆湿. 1 治疗方剂当归50g(炒)、白芍40g、生地40g
<正>用香是中国人的传统,在古代妇女使用胭脂水粉,男人佩戴香袋香囊,无不体现着中国人对个人美好仪态的追求和重视。但在近代,香水却作为一种舶来品传入中国,中国人在缓慢的
随着世界各地之间的联系越来越紧密,各行各业的国际化程度越来越高,英语作为全球通用的沟通交流的工具,扮演的角色越来越重要。翻译作为不同语言环境下的人们进行交流的重要
通过对比不可调式和可调式蒸汽喷射式热泵,具体分析了可调式蒸汽喷射式热泵的结构特点、工作特性和设计方法,提出将可调式蒸汽喷射式热泵应用于纸机供热系统来优化纸机运行的
以水务行业的龙头企业碧水源为对象,深度剖析水务企业的盈利模式。从商业模式、收入与成本结构、利润来源等方面分析碧水源盈利模式的特点,即通过PPP模式组建合资公司,通过给