命題邏輯完備性定理證明

參考：《數學家的邏輯》 命題邏輯中包含了對字符串的一系列操作，命題邏輯的完備性是指在邏輯語義上任意重言式（即定理）一定可以被字符串的操作表示出來。 定義 字符集: { ¬ , → , ( , ) , p 1 , p 2 , p 3 , ⋯   } \{\neg,\rightarrow,(,),p_1,p_2,p_3,\cdots\} {¬,→,(,),p1​,p2​,p3​,⋯} 字符集是無窮集

>>阅读原文<<