命题逻辑的基本概念

我们把 ${\mathcal{L}}_0$所有命题变号的集合记作 Pr，并且把命题编号依照下标的序 $p_0,p_1,p_2,\cdots$称为 Pr上的(或命题变号的)“字典顺序”或者“字母表”。

真值指派和公式真值

语言${\mathcal{L}}_0$的解释叫做 “真值指派”(truth valuation, truth assignment)。

一个真值指派(或赋值)是从Pr到{T,F}的函数$\sigma$，他对每个命题变号指派一个真值$\sigma (p)$。

其实也就是将一个基本命题映射到T或者F上。

真理定义：

对所有的${\mathcal{L}}_0$-公式$\varphi$，我们用${\varphi }^{\sigma }$表示$\varphi$在$\sigma$下的值。对于${\varphi }^{\sigma }$递归的定义如下：
$$\begin{array}{rl}& p_n^{\sigma }=\mathrm{T}\text{ iff }\sigma \left(p_n\right)=\mathrm{T}(n⩾0)\\ & (\sim \psi {)}^{\sigma }=\mathrm{T}\text{ iff }{\psi }^{\sigma }\ne \mathrm{T}\left(\text{ 即 }{\psi }^{\sigma }=\mathrm{F}\right)\\ & (\psi \vee \chi {)}^{\sigma }=\mathrm{T}\text{ iff }\text{ 或者 }{\psi }^{\sigma }=\mathrm{T}\text{ 或者 }{\chi }^{\sigma }=\mathrm{T}\\ & (\psi \wedge \chi {)}^{\sigma }=\mathrm{T}\text{ iff }{\psi }^{\sigma }=\mathrm{T}\text{ 并且 }{\chi }^{\sigma }=\mathrm{T}\\ & (\psi \to \chi {)}^{\sigma }=\mathrm{T}\text{ iff 或者 }{\psi }^{\sigma }\ne \mathrm{T}\text{ 或者 }{\chi }^{\sigma }=\mathrm{T}\\ & (\psi \leftrightarrow \chi {)}^{\sigma }=\mathrm{T}\text{ iff }{\psi }^{\sigma }={\chi }^{\sigma }\end{array}$$

我们把确定公式真值的定义通常称作真理定义。对于上述定义，有如下说明：

• 关于${\varphi }^{\sigma }$的另一种等价的说法是把真值指派$\sigma$扩充称一个满足上述条件的从${\mathcal{L}}_0$-公式集到{T，F}的函数。
• 由于真值指派就像是被指派为真的命题变号集合的特征函数, 人们常常把真值指派 $\sigma$ 直接定义为 $\mathrm{P}\mathrm{r}$ 的一个子集, 亦即 $\sigma \subseteq \mathrm{Pr}$ (或 者 $\sigma \in \mathcal{P}(\mathbf{P}\mathbf{r}){)}^2$, 而把 ${\varphi }^{\sigma }$ 递归定义的第一行也相应地改为 “ $p_n^{\sigma }=\mathrm{T}$ iff $p_n\in \sigma (n⩾0)$"
• 可以用“如果${\psi }^{\sigma }=T$，那么${\chi }^{\sigma }=T$”代替第五行中的条件。

这里特征函数是指：

对任意集合X及其任意子集Y，从X到{0,1}的函数f是Y的特征函数当且仅当对每个x∈X，如果x∈Y则f(x)= 1,并且如果x$\notin$Y则f(x)=0。很多作者喜欢用1代替真值T并且用0代替
真值F。在这种情况下，真值指派就成了真命题变号集合的特征函数。

上面的定义说明了一个真值指派下各个公式的值，而下面的“满足”定义说的是一个真值指派满足一个公式集合，当且仅当它使得该集合中的所有公式为真。

令 $\Gamma$ 为任意 ${\mathcal{L}}_0$ -公式集 (可以是无穷集), 并令 $\sigma$ 为任意真值指 派。$\sigma$ 满足 $\Gamma (\text{ 符号表示: }\sigma \models \Gamma )$ 当且仅当对每个 $\varphi \in \Gamma ,{\varphi }^{\sigma }={\mathrm{T}}_{\circ }$ 我们用$\sigma \models \varphi$ 表示 σ ⊨ { ϕ } \sigma \vDash\{\phi\} σ⊨{ϕ}, 并用 $\sigma /\models \Gamma$ 和 $\sigma \models \varphi$ 分别表示 $\sigma \models \Gamma$ 和 $\sigma \models \varphi$ 不成立。

由上述定义可知下列等值式成立:

• $\sigma \models \varphi$ 当且仅当 ${\varphi }^{\sigma }=\mathrm{T}$;
• $\sigma \ne \varphi$ 当且仅当 ${\varphi }^{\sigma }=\mathrm{F};$
• $\sigma \models \Gamma$ 当且仅当对所有 $\varphi \in \Gamma ,\sigma \models \varphi$;
• $\sigma /\models \Gamma$ 当且仅当对某些 $\varphi \in \Gamma ,\sigma /\models {\varphi }_{\text{。 }}$

对于任何真值指派，$\sigma \models \varnothing$。因为空机重不存在公式$\varphi$使得$\sigma /\models \varphi$,也就是说，对于每一个$\varphi \in \varnothing ,\sigma \models \varphi$。

重言蕴含、重言等值和可满足性

重言蕴含：

令 $\Gamma$ 为任意 ${\mathcal{L}}_0$ -公式集 (可以是无穷集) 并且 $\varphi$ 为任意 ${\mathcal{L}}_0$ -公 式。 $\Gamma$ 重言蕴涵 $\varphi ($ 符号表示: $\Gamma {\models }_0\varphi$ ) 当且仅当对每一个真值指派 $\sigma$, 如果 $\sigma \models \Gamma$ 则 $\sigma \models {\varphi }_{\circ }\varphi$ 是 $\Gamma$ 的重言后承当且仅当 $\Gamma {\models }_0{\varphi }_{}$。

当 Δ = { ψ 1 , … , ψ n } \Delta=\left\{\psi_{1}, \ldots, \psi_{n}\right\} Δ={ψ1​,…,ψn​} 时，我们用 ${\psi }_1,\dots ,{\psi }_n{\models }_0\varphi$ 表示 $\Delta {\models }_0\varphi$, 用$\Gamma ,{\psi }_1,\dots ,{\psi }_n{\models }_0\varphi$ 表示 $\Gamma \cup \Delta {\models }_0{\varphi }_{\circ }$ 当 $\Delta =\varnothing ($ 空集 $)$ 时, 我们用 ${\models }_0\varphi$ 表
示 $\Delta {\models }_0{\varphi }_{\text{॰ }}$

这里与真值表刻画不同点主要有两个：

• 真值表刻画中，$\Gamma$被设定为有穷集合。
• 真值表刻画中，只考虑给定公式出现的有穷个命题变号的真假，命题变号的可能取值也只有有穷多个。

重言等值

${\mathcal{L}}_0$ -公式 $\varphi$ 和 $\psi$ 重言等值当且仅当对每个真值指派 $\sigma ,{\varphi }^{\sigma }={\psi }^{\sigma }$。

易见: 如果 $\varphi$ 与 $\psi$ 重言等值, 那么对每个真值指派 $\sigma ,\sigma \models \varphi$ 当且仅着 $\sigma \models \psi ;$ 反之亦然。

可满足

令 $\Gamma$ 为任意 ${\mathcal{L}}_0$ -公式集 (可以是无穷集), $\varphi$ 为任意 ${\mathcal{L}}_0$ -公式。 $\Gamma$ 是可满足的当且仅当存在一个真值指派 $\sigma$ 使得 $\sigma \models \Gamma ;\varphi$ 是可满足的当且仅 当 { ϕ } \{\phi\} {ϕ} 是可满足的。 $\Gamma ($ 或 $\varphi )$ 是不可满足的当且仅当它不是可满足的。

重言式、矛盾式与或然式

重言式

对任意 ${\mathcal{L}}_0$ -公式 $\varphi ,\varphi$ 是重言式当且仅当对每一个真值指派
$\sigma ,\sigma \models {\varphi }_{\circ }$

矛盾式

对任意 ${\mathcal{L}}_0$ -公式 $\varphi ,\varphi$ 是矛盾式 $($ 或不可满足式) 当且仅当对每一个真值指派 $\sigma ,\sigma /\models {\varphi }_{\circ }$

似然式

对任意 ${\mathcal{L}}_0$ -公式 $\varphi ,\varphi$ 是或然式当且仅当存在一个真值指派 $\sigma$ 使得 $\sigma \models \varphi$, 并且存在一个真值指派 ${\sigma }^{\prime }$, 使得 ${\sigma }^{\prime }/\models {\varphi }_{\circ }$

代入

代入(substitution)是对公式做变形处理的一种方式，在这里，代入总是指对命题变号的带入。

直观说明

令$\varphi$和$\psi$为任意公式，$p$为任意命题变项。用$\psi$代入$\varphi$中的p，是指用$\psi$代替p在$\varphi$中的每一处出现，其结果记为$\varphi (\psi /p)$。

比如：

令$\varphi =p\to \sim p\vee q$
则$\varphi (p\vee q/p)=p\vee q\to \sim (p\vee q)\vee q$

代入的定义

代入是从命题变号集到公式集的函数。我们用 $\mathfrak{s},{\mathfrak{s}}^{\prime }$ 等表示代入。
设 $\mathfrak{s}$是一个代入，对所有公式$\chi$,公式$\chi (\mathfrak{s})$（对$\chi$做代入 $\mathfrak{s}$ 的结果）递归地定义如下：

• 对所有命题变号$p$，$p(\mathfrak{s})=\mathfrak{s}(p)$
• 对所有公式 $\varphi ,(\sim \varphi )(\mathfrak{s})=\sim (\varphi (\mathfrak{s}))$;
• 对所有公式 $\varphi$ 和 $\psi ,(\varphi \odot \psi )(\mathfrak{s})=\varphi (\mathfrak{s})\odot \psi (\mathfrak{s})$, 其中 ⊙ ∈ { ∧ , ∨ , → , ↔ } \odot \in\{\wedge, \vee, \rightarrow,\leftrightarrow \} ⊙∈{∧,∨,→,↔}

有穷代入：

设代入 $\mathfrak{s}$ 满足 $\mathfrak{s}\left(q_0\right)={\psi }_0,\dots ,\mathfrak{s}\left(q_n\right)={\psi }_n$, 并且 $\mathfrak{s}(r)=r$ 对所有不是 $q_0,\dots ,q_n$ 的命题变号 $r$ 都成立。我们用 ${\psi }_0/q_0,\dots ,{\psi }_n/q_n$ 表示这个 $\mathfrak{s}$,用 $\varphi \left({\psi }_0/q_0,\dots ,{\psi }_n/q_n\right)$ 来表示 $\varphi (\mathfrak{s})$, 并且称 $\mathfrak{s}$ 为有穷代入。