离散数学[4]-数理逻辑-谓词逻辑及形式系统

一、个体、谓词和量词

命题的解析

离散数学[2]-数理逻辑基本概念

一、什么是数理逻辑

  • 逻辑学是探索、阐述和确立有效推理原则的学科,最早由古希腊学者亚里士多德创立。
  •  亚里士多德在逻辑学上最重要的工作是提出 三段论学说。
  •  只要符合三段论的推理就是正确的。
  •  一个三段论就是一个包括有大前提、小前提和结论三个部分的论证。

继续阅读“离散数学[2]-数理逻辑基本概念”

离散数学[1]-引子(形式化及其极限)

一、离散数学DiscreteMathematics

〉 关于“离散结构”的数学
〉 离散Discrete含义:分离的,不连续的 seperate, discontinuous
〉 研究分立的对象之间所形成的关系
〉 离散结构源于人们对时间相继性的感知
和原子性世界的经验
继续阅读“离散数学[1]-引子(形式化及其极限)”