Hallo Community = ),
kann mir bitte jemand helfen =?
Formalisieren Sie diese Aussage mit Hilfe geeigneter Prädikatenlogik.
Wir dürfen die üblichen Symbole (Allquantor,Existenzquantor usw.) benutzen.
Ein Frosch ist grün, wenn er Kind mindestens eines grünen Frosches ist.