![](https://img-blog.csdnimg.cn/20201014180756925.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
数理逻辑
DZYO
Never stop
展开
-
Konig定理的简要证明
Konig定理设有两族集合{Aα}α∈I,{Bα}α∈I\{A_{\alpha}\}_{\alpha \in I}, \{B_\alpha\}_{\alpha\in I}{Aα}α∈I,{Bα}α∈I,III为同一指标集,且∀α∈I,∣Ai∣<∣Bi∣\forall \alpha \in I, |A_i| < |B_i|∀α∈I,∣Ai∣<∣Bi∣, 则:A:=∣∑αAi∣<∣∏αBα∣:=BA:=|\sum_{\alpha} A_i| < |\prod_{\a原创 2020-10-31 20:41:52 · 876 阅读 · 1 评论 -
命题逻辑完备性定理证明
参考:《数学家的逻辑》命题逻辑中包含了对字符串的一系列操作,命题逻辑的完备性是指在逻辑语义上任意重言式(即定理)一定可以被字符串的操作表示出来。定义字符集: {¬,→,(,),p1,p2,p3,⋯ }\{\neg,\rightarrow,(,),p_1,p_2,p_3,\cdots\}{¬,→,(,),p1,p2,p3,⋯}字符集是无穷集wf.(well-formed formula)wf.(\text{well-formed formula})wf.(well-for原创 2020-10-17 20:05:40 · 2188 阅读 · 0 评论