---
tag: 029JBBF693
kind: concept
name: Negation
msc: [03B05]
sources:
  - url: https://en.wikipedia.org/wiki/Negation
    locator: lead section
same_as:
  wikidata: Q190558
  wikipedia: Negation
---

## Summary

Negation is the logical operation that changes a [[proposition|0ZGC7ZESYN]] into its opposite.
The negation of a true proposition is false, and the negation of a false proposition is true.