---
tag: QJ6B3S81MF
kind: concept
name: De Morgan negation
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section D
    note: adopted
    mention: wikipedia://en/76765067#MXPD
    sections: [Summary]
inventory: [PEQDWQ6JT6]
---

## Summary

A de Morgan negation is a simple negation satisfying double negation elimination: $\neg A$ is false if and only if $A$ is true, and $\neg A$ is true if and only if $A$ is false.