18.4.15.
Für die Operation der Verneinung ist der Übergang von p auf ~p nicht characteristisch (Der Beste Beweis: sie führt au[h|c]h von ~p zu p)