周报(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. 论域

>>阅读原文<<