命题逻辑联结词完全性证明r——数学归纳法的应用

来源 :贵州工程应用技术学院学报 | 被引量 : 0次 | 上传用户:lp999999
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
通过比较第一数学归纳法和第二数学归纳法,阐述它们的异同.先将第一数学归纳法的基础步骤中的情形扩展为两种的情形,用这种方法给出命题逻辑中联结词完全性的证明.再用第二数学归纳法给出命题逻辑中联结词完全性的证明.
其他文献
毕业于沃顿商学院的特朗普开发了一系列全世界最著名的房地产项目,其中包括纽约第五大道特朗普大厦、华尔街40号、君悦饭店、棕榈滩特朗普国际饭店、迪拜大厦等.从特朗普自传
期刊
由于定位精度高、非接触、稳定性好等特点,工业自动化领域中机器视觉的应用越来越广泛。随着近些年计算机技术的飞速发展,机器视觉技术与机器人的结合应用也越来越广泛。给机器
近两年来,我国资本市场的改革和发展取得了很大成绩,主要体现在股市已由2001年6月开始的长达近4年的“熊”市转变为快速增长的“牛”市,这既是广大投资者所期盼的,也是宏观经
前几日,47岁的窦唯因为在路边吃了一碗9块钱的面,突然上了微博热搜。很多人心疼地用“颓废”“潦倒”来形容这位曾经红极一时的音乐人,似乎这一碗9块钱的面,把内地音乐人的面
期刊
人体肠道内的正常微生物, 不但可以辅助消化和吸收,为人体提供多种必需的维生素和氨基酸, 而且对于防止致病微生物的入侵起到了至关重要的作用.而人体肠道的黏膜免疫系统, 在
期刊
“正确处理人民内部矛盾,建立健全党和政府主导的维护群众权益机制,完善信访制度,完善人民调解,行政调解,司法调解联动的工作关系,畅通和规范群众诉求表达,利益协调,权益保证
期刊
为深入实施“云岭先锋”工程,巩固和发展先进性教育活动成果,全面推进基层党组织建设工作,2007年6月,我省决定在全省农村、机关、企业、社区、高校、窗口行业和卫生系统等7个
观测带随机滞后的系统普遍存在于很多实际应用中,例如,在网络控制、通信系统中,由于传输通道的多变性和通信的不可靠性,可能会导致一步或多步的随机观测滞后从而导致系统性能
数九隆冬,天寒地寒心不寒,礼暖情暖人更暖。1月中旬开始,四川省委组织部陆续开展了春节慰问活动,为基层部分老党员、困难党员送去了组织的关心和新春佳节的问候。省委常委、
脑血管疾病现已成为我国老年人第1位致死性疾病.其中缺血性脑血管疾病占全部脑血管疾病的70%,而颈动脉粥样硬化是缺血性脑血管疾病重要的病因.因此,能够有效地干预颈动脉粥样