1. Alle grünen Frösche können quaken.
2. Jeder Frosch ist glücklich, wenn alle seine Kinder quaken können.
3. Ein Frosch ist grün, wenn er Kind mindestens eines grünen Frosches ist.
Formalisieren Sie diese Aussagen mit Hilfe geeigneter Prädikate in Prädikatenlogik. Verwenden Sie zur Notation die üblichen Symbole:
∀ (Allquantor),∃ (Existenzquantor), ∧ (und),∨ (oder),¬ (Negation),⇒ (Implikation) usw.
Meine Lösung:
1)
∀grünen Frösche : können quaken.
2)
∀Frösche (∀Kinder die quaken können ∈ Frösche) ⇒ Frösche sind glücklich
3)
Frosch ist grün := (Vater : grün ∨ Mutter : grün) bzw.: Frosch ist grün ⇒ Frosch ∈ ∃grüner Frosch
Ist die Lösung richtig? Wenn ja, gibt es bessere Möglichkeiten?