olaf008的博客

原创 量词辖域扩张和收缩律的8个等价式 根本理解

先说最简单的四个：1)∀x(A(x)∧B)⇔∀xA(x)∧B2)∀x(A(x)∨B)⇔∀xA(x)∨B3)∃x(A(x)∧B)⇔∃xA(x)∧B4)∃x(A(x)∨B)⇔∃xA(x)∨B显然，谓词B不包含约束变元。也就是说，即使B在量化x的辖域内，这个辖域也没法约束B（或者说对B没有实质影响）。因此，B在不在辖域（括号）内都一样。接下来就是最让人头疼的2个了：5)∀xA(x)→B⇔∃x(A(x)→B)6)∃xA(x)→B⇔∀x(A(x)→B)想要证明不难，只需要运用下面3个公式即可，①②为