命题公式的等价性

命题的概念：一个命题是一个非真即假的陈述句 命题具有真假值，而且非真即假 陈述句的限定源于命题的判断属性 或然性的排除 命题的真假判定问...

逻辑学：关于推理和论证的科学 可以认为主要包含形式逻辑和辩证逻辑，又以形式逻辑为主要的研究内容 古希腊的形式逻辑：亚里士多德 古中国：墨翟...

数理逻辑，又称符号逻辑、现代形式逻辑。逻辑学先于一切科学 莱布尼茨：代数演绎的思想。 布尔代数：完整的逻辑代数体系，即布尔代数 弗雷格的《表意符...

离散数学形成能力评价（Rosen） 数学推理能力 组合分析能力 离散结构分析和应用能力 算法思维能力 应用于建模能力