数理逻辑课程的入门课件。讲解了数理逻辑这门课程的基础概念。

数理逻辑命题逻辑等值演算

离散数学复习资料，涵盖数理逻辑，集合论，代数结构的重要知识点

集合 基础集合论 董延 逻辑 面向计算机科学的数理逻辑 陆钟万 图论 图论及其算法 王树禾 组合 具体数学 Ronald L. Graham / Donald E. Knuth / Oren Patashnik 代数 Introduction to Linear and Abstract Algebra 数论 初等数论 潘氏兄弟

用时态逻辑LTL公式表示系统性质 安全性：  ¬ p 可达性：  p 响应性： (p   q) （弱）公平性：   p    q （强）公平性：   p    q   p --- p无限多次为真   p --- 从某个时刻起, p一直为真。

哈尔滨工业大学计算机学院数理逻辑课程课件

莫绍揆，数理逻辑初步，数理逻辑通俗教材，数理逻辑通俗教材。

哈尔滨工业大学数理逻辑期末考试

对下列公式应用Horn算法 (T →q) ∧ (T →s) ∧ (w →⊥) ∧ (p ∧ q ∧ s→⊥) ∧ (v → s) ∧ ( (T →r) ∧ (r → p) 1.第一次循环：标记q, s, r 2.第二次循环：标记p 由于p,q,s全被标记，所以第三次循环会标记⊥ 所以是“不可满足的”

计算CNF形式的等价公式的办法： 1 写出完整真值表 2 对每一个赋值为F的行构造一个文字的析取 注意：当原子在该行是真的，则否定该原子 3 由这些析取句子构造CNF形式公式，即为原公式的等价公式 为什么对任何公式Ф，这种方法都是可行的呢？ 因为这样构造的公式Ф=ᴪ1 Λᴪ2 Λ...Λᴪn 是假 至少一个合取项ᴪi是假的。 ᴪi =p1 V p2 V...V pn 所有析取项pi 为假 德摩根律：┐p1 V┐ p2 V...V ┐pn ≡ ┐(p1 Λ p2 Λ...Λ pn ) 一定是真 为什么对任何公式，这种方法都是可行的呢？因为这样构造的公式是假的当且仅当至少有一个合取项是假的。但是我们得到的那些文字句法的析取一定是真的