negation – logisk begreb
Negation, (af lat. negatio, af negare 'nægte'), i logik konstanten ¬, der sættes foran et udsagn eller en udsagnsfunktion, når disse benægtes. Negationen er som sandhedsfunktionelt konnektiv fastlagt ved, at: hvis p er sand, så er ¬p falsk; og hvis p