| 德·摩根定理 De Morgan's theorem 命题演算中关于合取式和析取式的否定的定理。可用符号表示成： (p∧q)↔p∨q (p∨q)↔p∧q 前式是关于合取的否定式的德·摩根定理。意思是：“p并且q的否定”是“非p或非q”。后式是关于析取的否定式的德·摩根定理。意思是：“p或者q的否定”是“非p并且非q”。中世纪逻辑学家如英国的奥卡姆和萨克森的阿尔伯特(Albert of Saxony， 1316—1390)已对这些逻辑定理作过陈述。德·摩根在《形式逻辑》中则为类逻辑提出这些相应的定理。 |