命题逻辑完备性定理证明

参考：《数学家的逻辑》 命题逻辑中包含了对字符串的一系列操作，命题逻辑的完备性是指在逻辑语义上任意重言式（即定理）一定可以被字符串的操作表示出来。 定义 字符集: { ¬ , → , ( , ) , p 1 , p 2 , p 3 , ⋯   } \{\neg,\rightarrow,(,),p_1,p_2,p_3,\cdots\} {¬,→,(,),p1​,p2​,p3​,⋯} 字符集是无穷集

>>阅读原文<<