Der einstellige Junktor ¬, die Negation, ist in der klassischen Aussagenlogik so definiert, dass er den Wahrheitswert seines Arguments ins Gegenteil umkehrt, also „verneint“:
dɛɾ ˈaɪnʃtˌɛlɪɡə jˈʊŋktoːɾ, diː nˌeːɡatsjˈoːn, ɪst ɪn dɛɾ klˈasɪʃən ˈaʊszˌɑːɡənlˌoːɡɪk zoː dˌeːfiːnˈiːɾt, das ɛɾ deːn vˈɑːɾhaɪtsvˌeːɾt zˌaɪnəs ˌaɾɡuːmˈɛnts ɪns ɡeːɡəntˈaɪl ˈʊmkˌeːɾt, ˈalzoː fɛɾnˈaɪnt“: