数理逻辑2 -- 量化理论3

上节定义了一阶逻辑的满足性与真假性，本节给出基于此的一些常用性质。

为了方便讨论，当$B$对M为真时，记为$\models_M B$。

命题2.12：（一阶逻辑的性质）
(a.1) $B$对于解释M来说为假，当且仅当，$\neg B$对M来说为真。
证明：当$B$对M为假时，即M中没有序列$s$能满足$B$。根据定义，也即是任意一个序列$s$都满足$\neg B$，所以$\neg B$对M为真。反过来，当$\neg B$对M为真时，即任一序列$s$都满足$\neg B$，根据定义，$s$不满足$B$，所以$B$对M为假。
证毕
(a.2) $B$对M为真，当且仅当，$\neg B$对M为假。
证明：若$B$对M为真，则任一序列$s$都满足$B$，所以$s$不满足$\neg B$（定义2.10第二点说的是当且仅当，意思就是可以反过来用），所以$\neg B$对M为假。若$\neg B$对M为假，即任一序列$s$都不满足$\neg B$，所以$s$满足$B$，因此$B$对M为真。
证毕
(b) 不可能同时有$\models_M B$和$\models_M \neg B$，就是说，$B$不可能既是真，又是假。
证明：若$\models_M B$成立，即M中任一序列$s$都满足$B$。所以，至少存在一个序列$s$满足$B$。因此不可能任一序列$s$都满足$\neg B$，所以$\models_M \neg B$不可能成立。反之，若$\models_M \neg B$成立，即M中任一序列$s$都满足$\neg B$，也即任一序列$s$都不满足$B$，所以$\models_M B$不可能成立。
证毕
(c) 若$\models_M B$和$\models_M B \Rightarrow D$，那么$\models_M D$。
证明：因为$\models_M B$和$\models_M B \Rightarrow D$，所以M中任一序列$s$既满足$B$，也满足$B \Rightarrow D$。根据定义2.11，既然$s$满足$B \Rightarrow D$，而且$s$不满足$B$又不成立，所以$s$必定满足$D$。由于$s$是任一序列，因此$\models_M D$。
(d) $B \Rightarrow D$对M为假，当且仅当，