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.
- Alle Vögel sind schon da.
- Alle Wege führen nach Rom.
- Faulheit ist aller Laster Anfang.
- Alle Menschen werden Brüder, wo dein sanfter Flügel weilt.