Prädikatenlogik: "Alle Daumen sind Finger, aber nicht alle Finger sind Daumen."?
Ich soll diesen Satz eine Prädikatenlogische Formel umwandeln nur weiß ich nicht welches Universum ich dafür wählen sollte. Kann mir jemand helfen?
Mathematik,
Informatik,
Prädikatenlogik