Natürliche Sprache zu First-Order Logic (BB: Exercise 1.1.5)

Stelle die folgenden englischen Sätze in Logik erster Ordnung dar. Als kleine Vorbereitung kannst du auch die Quizfragen beantworten.

1. Everyone is happy, or Butch and Pumpkin are fighting, or Vincent has a weird experience.
2. Some cars are damaged and there are bullet holes in some of the walls.
3. Everybody in the basement is wearing a leather jacket or a dog collar.
4. Either Butch and Pumpkin are fighting or Vincent has a weird experience.

Während der Sitzung: Welche der Sätze du bearbeiten sollst errechnest du über die folgende Rechnung:
(‚Quersumme deines Geburstages‘ Mod 4 ) + 1
Deine Lösung kannst du ins Etherpad dann einfügen