2.6.2 证明下列公式为命题逻辑内定理,其中 α\alpha 和β\beta 为合式公式。 (1) ¬¬β→β\neg\neg\beta \rightarrow \beta 证明: \begin{align} (1)&((\neg\beta \rightarrow \neg\neg\beta) \rightarrow (\neg\beta \rightarrow \neg\beta) \rightarrow \beta) \rightarrow \\ &((\...
2.8.1 证明引理2.8.4,即:公式集 是不一致的当且仅当对所有的公式 , 。 2.8.2 假定公式集 一致,证明对任意公式 , 与 中有一个一致。(这是林登鲍姆引理证明的一部分。) 2.8.3 假定 为一个极大一致集。定义真值指派 如下:对于任意命题符号A, 证明对任意公式 , 当且仅当 。(这是引理2.8.9,因而是完全...