週報(4.15-4.21)

本週學習進度(4.15-4.21) 一、離散： 1.學習內容：謂詞演算的等價式與蘊含式；前束範式；謂詞演算的推理理論（部分）。 2.*補充及需要注意的知識點： 全稱量詞對合取滿足分配律，存在量詞對析取滿足分配律。 e.g. ∀x(A(x)∧B(x))<=>∀xA(x)∧∀xB(x) ∃x(A(x)∨B(x))<=>∃xA(x)∨∃xB(x) 全稱量詞枚舉用合取，存在量詞枚舉用析取。 e.g. 論域

>>阅读原文<<