Prädikatenlogik/Atomarer Ausdruck/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
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.