# 命题逻辑
复习命题逻辑
Review propositional logic
命题逻辑数理逻辑
Propositional logic (mathematical logic)
命题逻辑和谓词逻辑
对命题逻辑和谓词逻辑的核心归纳可以做到一目了然
数理逻辑之命题逻辑
详细介绍了命题逻辑的基本知识，比课本上的要好些
离散数学命题逻辑
离散专业课数字逻辑课件专业详细版由浅入深
命题逻辑的推理理论
南开大学离散数学上课时用的课件，内容翔实，具有很大的用处
命题逻辑系统的自动推理
本程序用归结反演策略实现了命题逻辑系统的自动推理 归结方法的基本算法很简单，每次从子句集中选择两个可进行归结的子句，求它们的归结
离散数学_命题逻辑应用举例
展示命题逻辑应用的5个场景，需求描述，需求一致性验证，信息检索，判断条件，按位运算和机器证明使用的消解
人工智能命题逻辑归结反演
人工智能命题逻辑中的归结推理系统设计与实现实验，实现标准输入文件读入子句集，可视化显示归结树附源代码与实验报告，仅供参考
命题逻辑中的归结推理系统
实现了命题逻辑的归结推理