Informatiker Board (http://www.informatikerboard.de/board/index.php)
- Themengebiete (http://www.informatikerboard.de/board/board.php?boardid=1)
--- Theoretische Informatik (http://www.informatikerboard.de/board/board.php?boardid=5)
---- Logik (http://www.informatikerboard.de/board/board.php?boardid=16)
----- Modellieren von Bauernregeln (http://www.informatikerboard.de/board/thread.php?threadid=3529)

---

Geschrieben von Haevelin am 10.04.2017 um 15:46:

  Modellieren von Bauernregeln

Folgendes Problem Prädikatenlogik)
Modellieren der Bauernregeln:
a) Wenn alle Schwalben tief fliegen, wird es Regen geben
b) Eine Schwalbe macht noch keinen Sommer
wobei: Schwalbe/1, fliegt_tief/1, Sommer/0, Regen/0

Was ist insbesondere Schwalbe/1, wenn ich in a) von allen Schwalben spreche?

Forensoftware: Burning Board, entwickelt von WoltLab GmbH