数理逻辑p6

对偶式：

例子

可得公式：$(A^{\ast }{)}^{\ast }=A$(字符串的角度完全一样）

内否式：

（为内否式，ppt写错了）
例子：

可得公式$$(A^{-1})\iff A$$

$$(\neg A{)}^{\ast }=\neg A^{\ast }$$

与对偶式的相关定理

其中 对于3\5
$$\neg A\iff (A^{-}{)}^{\ast }\iff (A^{\ast }{)}^{-}$$

$$(\neg A{)}^{-}\iff ((A^{\ast }{)}^{-}{)}^{-}\iff A^{\ast }$$

$$A\iff B,\neg A\iff \neg B,(A^{\ast }{)}^{-}\iff (B^{\ast }{)}^{-}$$

$A^{\ast }\iff B^{\ast }$

第三章 命题演算形式系统

形成部分：


推理部分：

（又称为公里模式）

$$\Gamma 的成员是空集，则为证明$$