数理逻辑：（1）命题逻辑

一，相关介绍，课程名称Foundations of Logic and Model Checking。这门课中，主要内容是命题逻辑和一阶逻辑的相关知识，为之后的NLP课程以及人工智能开发做逻辑基础。

文章Overview：

1.The syntax of propositional logic

2.The semantics of propositional logic and truth table 

3.Model and Logical consequence

4.Syntax and semantics

5.Logical equivalence

6.Complete sets of connectives

二.基本概念

1.1命题逻辑propositional logic

一个命题逻辑是一个系统L0=(P，C)，其中，P是原子命题(atoms)的集合，C是连接符号的集合。

C例如⊥, >, ¬, →, ←, ∧, ∨, ↔, ↑, ↓, ⊕. 其中最常使用到的就是 not ¬ and∧ or∨

1.2合式公式well-formed formulas

已知L = (P, C)是命题逻辑，所有合式公式的子集是WF(L)的最小子集，其中每一个p ∈ P, p ⊆ WF(L)，每一个原子逻辑都是一个公式。

2.1真值表Truth values 和 解释interpretation

真值表的结论只有F和T，或0，1.真的，假的。

2.2解释 是一个公式function

v : P → {F, T}

在有限的命题逻辑中，解释的数量interpretations会有很多，是2的n次方，n是原子命题P的个数。

例如 原子命题A，B还有A∨ B, 真值表数量为2的2次方 4

v(A)	v(B)	v((A∨ B))
T	T	T
T	F	T
F	T	T
F	F	T

2.3 从真值表中的判断重言式，可满足式，可证伪，不可满足式

红色：可以看出formulas都为T，为重言式

蓝色：是满足式，至少一行是T。

绿色：是可证伪式，至少1行都是F。 

如果formula是重言式，那么一个列完整的的formula只能有T。

如果formula是可满足式，那么一列完整的formula包含至少一个T。

如果formula是不可满足式，那么那么一列完整的formula只能有F。

如果formula是可证伪的，那么那么一列完整的formula至少有一个F。

3.1Model 

U ⊆ WF(L) (WF(L)包含于U)，U是一个formulas 的集合. 一个U的model是一个解释v，例如 v(A) = T 所有的 A ∈ U. 那么:  这个model在U中所有的formulas中都是True。集合U中所有的model写作Mod(U)，对于单独的formula，写作Mod(A)。

3.2逻辑结论Logical consequence

U ⊆ WF(L)U是一个formulas 的集合，A ∈ WF(L)， A是合式公式中的一个formula，那么，formulaA是一个逻辑结论 iff(当且仅当)Mod(U) ⊆ Mod(A).

A是一个U的逻辑结论，记作U |= A. 在任何情况下，若U是T，则A也是T。

当U是空集时，∅ |= A，可以说A是重言式(tautology)永远是T，简写为 |= A。

相反的，若一个解释不是Mod(A)，那么formulaA是可证伪的(falsifiable)。

如果formula A 是可满足的(satisfiable) iff Mod(A) ！= ∅. 相反, 如果 Mod(A) = ∅, A 是矛盾的(contradiction)。

4.1语法syntax

首先语法不等于语义

命题逻辑中的语法(well-formed formulas)。

一个formula A的语义是一个正式的表现。

4.2语义semantics

命题逻辑中的语义(interpretations and models)。

一个formula A的语义一个models的集合，例如 Mod(A).

在命题逻辑中所有可能的解释的集合是世界里任何可能的集合。

有无限多的formulas具有完全相同的模型集Mod(A)。这意味着，它们在语义上是相等的，但在语法上不同。

5.1逻辑等式 Logical equivalence

两个formulas A, B ∈ WF(L) 是逻辑等式 如果 Mod(A) = Mod(B). 写作 A ≡ B.

5.2一些重要的逻辑等式

(A ∧ ⊥) ≡ ⊥ ⊥ is zero for ∧

(A ∨ ⊥) ≡ A ⊥ is one for ∨

(A ∧ (¬A)) ≡ ⊥ ∧-complement rule

(A ∧ A) ≡ A idempotency

((A ∧ B) ∧ C) ≡ (A ∧ (B ∧ C)) associativity of ∧

(A ∧ B) ≡ (B ∧ A) commutativity of ∧

(A ∧ (B ∨ C)) ≡ ((A ∧ B) ∨ (A ∧ C)) ∧ distributes over ∨

(A ∧ (A ∨ B)) ≡ A absorbation rule

(¬(A ∧ B)) ≡ ((¬A) ∨ (¬B)) de Morgan’s rule

6.1Complete sets of connective

所有的命题逻辑能被转化为只包含→ 和 ¬的链接符号的合式公式。其他的完备连接词{∧, ¬}可以命名为↑ (not and) ，{∨, ¬}命名为↓ (not or)

v(A) v(B) v(A ↑ B)

F        F         T

F         T        T

T         F         T

T         T          F

v(A) v(B) v(A ↓ B)

F        F         T

F        T          F

T         F         F

T         T          F