德·摩根律

更新时间:2023-02-24 09:11

德·摩根律(De Morgan law)一种运算律, 该运算律由两个公式组成,两公式均含否定词。

命题演算的德·摩根律可从类逻辑的德.摩根律演变过来.类逻辑的德·摩根律虽然以英国数学家德·摩根(De Morgan , A.)的名字命名,但实际上该运算律在中世纪就很著名,只是后来又被德· 摩根重新发现.直觉主义逻辑并不完全承认德·摩根律,他们不承认┐(p∧q)≡(┐pV┐q).

免责声明
隐私政策
用户协议
目录 22
0{{catalogNumber[index]}}. {{item.title}}
{{item.title}}