基础知识 逻辑符号(Logische Zeichen) 首先是在表达逻辑里已经出现过的： ¬,∧,∨,→,↔,(,) \lnot,\land,\lor,\to,\leftrightarrow,(,) 然后还有几个新的： ∀ \forall：表示所有的 ∃ \exists：表示存在 Vi V_i：表示变量//也可以用var表示 ≐ \doteq：客观相等//给汗了，啥意思啊

介绍个定义 Interpretation  \mathcal{D} 已知有 ∑ \sum 是一阶谓词逻辑(PL1)的Signatur 那么我们定义这个Signatur的interpretation  \mathcal{D}为(D,I)，并且具有以下性质： 1.D是任意的非空的集合 2.I是Signatur符号的映射： 1).对任意常数c有:I(c) ∈ \in D 2).n