 The proof-theoretical characterization of negation is important for the use of negation connectives in derivations. To obtain a more comprehensive understanding of negation, however, the proof theory has to be supplemented by a semantics. We first consider truth tables.