Quantorenlogik/Verschiedene literarische Zitate/Aufgabe

Man formalisiere die folgenden Aussagen, indem man geeignete Prädikate erklärt. Man gebe die Negation der Aussagen (umgangssprachlich und formal) an.

1. Alle Vögel sind schon da.
2. Alle Wege führen nach Rom.
3. Faulheit ist aller Laster Anfang.
4. Alle Menschen werden Brüder, wo dein sanfter Flügel weilt.
5. Wem der große Wurf gelungen, eines Freundes Freund zu sein, wer ein holdes Weib errungen, mische seinen Jubel ein!
6. Freude trinken alle Wesen an den Brüsten der Natur.
7. Alle Macht geht vom Volk aus.
8. Alle Achtung.
9. Alle Neune.

Eine Lösung erstellen