Modellieren von Bauernregeln

Neue Frage »

Haevelin Auf diesen Beitrag antworten »
Modellieren von Bauernregeln
Folgendes Problemunglücklich: ( 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?
Haevelin Auf diesen Beitrag antworten »
RE: Modellieren von Bauernregeln
Folgende Modellierung:

A= Für alle
E = Es gibt ein

Ax(fliegt_tief(x) ==> Regen)
und:
!(Ex'(Schwalbe(x') ==> Sommer))
daraus folgt:
Ax' !(Schwalbe(x') ==> Sommer)
Ax' !(!Schwalbe(x') vel Sommer)
Ax' (Schwalbe(x') et !Sommer)

Aus Regen = 0 folgt dann, dass eine Schwalbe tief fliegt.
Und aus Sommer = 0 folgt dann ...?
Haevelin Auf diesen Beitrag antworten »
RE: Modellieren von Bauernregeln
Entschuldigung; Regen=0 bedeutet nicht, dass Regen falsch ist, sondern dass es ein nullstelliges Prädikat ist. Ähnlich für Schwalbe usw.
Neue Frage »
Antworten »



Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »