Negația propozițiilor și a predicatelor. Complementara unei mulțimi

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:

$\neg p, \overline{p}$

$v(\neg p)=\left\{\begin{array}{l}1, v\left(p\right)=0\\ 0, v\left(p\right)=1\end{array}\right.$

$p$	$\overline{p}$
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:

$\neg p\left(x\right), \overline{p\left(x\right)}$

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

$\boxed{C_{D}A=\left\{x \overline{)}x\in D și x\notin A\right\}}$

$A_{\neg p\left(x\right)}=C_D{A}_{p\left(x\right)}$