Prädikatenlogik/Atomarer Ausdruck/Definition
Erscheinungsbild
Atomarer Ausdruck
Unter einem atomaren Ausdruck versteht man Ausdrücke der Form , wobei und Terme sind, und der Form , wobei ein -stelliges Relationssymbol ist und Terme sind.
Unter einem
atomaren Ausdruck
versteht man Ausdrücke der Form
,
wobei
und
Terme sind, und der Form
, wobei
ein
-stelliges Relationssymbol ist und
Terme sind.