Quantorenlogik/Verschiedene literarische Zitate/2/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.

Eine Lösung erstellen