---
tag: NSXR6G7AP8
kind: concept
name: Boolean negation
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section B
    note: adopted
    mention: wikipedia://en/76765067#0MN6
    sections: [Summary]
inventory: [Q4Z14DMEAD]
---

## Summary

A form of [[negation|029JBBF693]] where the negation of a non-true proposition is true, and the negation of a non-false proposition is false.