论文部分内容阅读
通过比较第一数学归纳法和第二数学归纳法,阐述它们的异同.先将第一数学归纳法的基础步骤中的情形扩展为两种的情形,用这种方法给出命题逻辑中联结词完全性的证明.再用第二数学归纳法给出命题逻辑中联结词完全性的证明.
命题逻辑联结词完全性证明r——数学归纳法的应用
【摘 要】
：
通过比较第一数学归纳法和第二数学归纳法,阐述它们的异同.先将第一数学归纳法的基础步骤中的情形扩展为两种的情形,用这种方法给出命题逻辑中联结词完全性的证明.再用第二数
【机 构】
：
贵州民族大学民族文化逻辑与认知研究中心,贵州 贵阳 550025
【出 处】
：
贵州工程应用技术学院学报
【发表日期】
：
2020年3期
其他文献
由于定位精度高、非接触、稳定性好等特点，工业自动化领域中机器视觉的应用越来越广泛。随着近些年计算机技术的飞速发展，机器视觉技术与机器人的结合应用也越来越广泛。给机器
“正确处理人民内部矛盾,建立健全党和政府主导的维护群众权益机制,完善信访制度,完善人民调解,行政调解,司法调解联动的工作关系,畅通和规范群众诉求表达,利益协调,权益保证
期刊
观测带随机滞后的系统普遍存在于很多实际应用中,例如,在网络控制、通信系统中,由于传输通道的多变性和通信的不可靠性,可能会导致一步或多步的随机观测滞后从而导致系统性能
脑血管疾病现已成为我国老年人第1位致死性疾病.其中缺血性脑血管疾病占全部脑血管疾病的70％,而颈动脉粥样硬化是缺血性脑血管疾病重要的病因.因此,能够有效地干预颈动脉粥样