Quantorenlogik/Verschiedene literarische Zitate/2/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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.