Negatia
Fie p o propozitie oarecare. Negatia propozitie p este propozitia notata "non p" care este adevarata cand p este falsa si este falsa cand p este adevarata.
Notatie : pentru propozitia "non p" utilizam scrierea -p.
Valoarea de adevar a propozitie "non p" :
p "non p"
1 0
0 1
Fie p(x) un predicat. Negatia lui este predicatul notat "non p(x)" care este adevarat pentru acele valori ale lui x pentru care p(x) este fals si este fals pentru acele valori ale lui x pentru care p(x) este adevarat.
Se numeste predicat asociat multimii A predicatul pvA(x) : "x E A"
Negatia predicatului este predicatul "non pvA(x) : "x nu apartine lui A"
Legenda : E = apartine
pvA = p indice A