更新时间:2023-02-24 09:11
德·摩根律(De Morgan law)一种运算律, 该运算律由两个公式组成,两公式均含否定词。
命题演算的德·摩根律可从类逻辑的德.摩根律演变过来.类逻辑的德·摩根律虽然以英国数学家德·摩根(De Morgan , A.)的名字命名,但实际上该运算律在中世纪就很著名,只是后来又被德· 摩根重新发现.直觉主义逻辑并不完全承认德·摩根律,他们不承认┐(p∧q)≡(┐pV┐q).