Was sind Funktionssymbole in der Prädikatenlogik und wozu verwendet man sie? Kann mit jemand bitte ein Satz in der Prädikatenlogik nennen, der einmal ein Funktionssymbol enthält und einen ohne?
https://de.wikipedia.org/wiki/Pr%C3%A4dikatenlogik_erster_Stufe#Symbole
