Aussagenlogik, Verknuepfungen
Negation