Negația propoziției p este propoziția "non p" care este adevărată dacă p este falsă și falsă dacă p este adevărată.
Notații:


 |
 |
1 |
0 |
0 |
1 |
Negația predicatului p(x) este un predicat adevărat pentru acele valori ale lui x pentru care p(x) este fals și fals pentru acele valori ale lui x pentru care p(x) este adevărat.
Notații:

Complementara multimii A în raport cu mulțimea D este:

