摩根定律：逻辑推理的简化法则

• 日期: 2026-12-12
• 标签: 常规

摩根定律是逻辑学中的一种基本法则，它指出：

1. 否定的否定等于肯定。即 ~(~p) = p。

2. 否定的合取等于肯定的析取。即 ~(p ∧ q) = ~p ∨ ~q。

3. 否定的析取等于肯定的合取。即 ~(p ∨ q) = ~p ∧ ~q。

这些法则可以用来简化逻辑表达式，对于逻辑推理和证明有很大的帮助。

原文地址: https://www.cveoy.top/t/topic/op9X 著作权归作者所有。请勿转载和采集!

免费AI点我,无需注册和登录