UuU [[logika|logici]] i [[matematika|matematici]], '''negacija''' je [[operacija (matematika)|operacija]] nad [[logička vrijednost|logičkim vrijednostima]], na primjer logičkom vrijednošću [[iskaz]]a, koja preslikava [[istina|istinu]] u [[laž]] i [[laž]] u [[istina|istinu]]. Intuitivno, negacija iskaza vrijedi točno onda kada iskaz ne vrijedi.