德·摩根律(De Morgan law)一种运算律, 该运算律由两个公式组成,两公式均含否定词.命题演算的德·摩根律可从类逻辑的德.摩根律演变过来.类逻辑的德·摩根律虽然以英国数学家德·摩根(De Morgan , A.)的名字命名,但实际上该运算律在中世纪就很著名,只是后来又被德· 摩根重新发现.直觉主义逻辑并不完全承认德·摩根律,他们不承认┐(p∧q)≡(┐pV┐q). [1] 参考资料 1. 数学辞海第4卷