Molekularer Ausdruck

Ein molekularer Ausdruck ist ein Ausdruck, der Teilausdrücke umfaßt, die selbst wieder Ausdrücke sind.

Beispiel:

( p \wedge q ) \to r ist ein molekularer Ausdruck

aber:

p,q,r sind jeweils ein atomarer Ausdruck

In dem Beispiel enthält der molekulare Ausdruck sogar einen Teilausdruck, der selbst wieder ein molekularer Ausdruck ist, nämlich p \wedge q.

Ob eine Zeichenreihe ein molekularer Ausdruck ist oder nicht, läßt sich dann entscheiden, wenn präzise Formregeln für die Konstruktion von Ausdrücken gegeben sind. In der Aussagenlogik lassen sich beispielsweise die Ausdrücke durch eine induktive Definition aus der Menge beliebiger Zeichenreihen herausheben.

Jeder molekulare Ausdruck läßt sich mittels einer solchen Definition aus den sogenannten logischen Grundzeichen ( im Falle der Aussagenlogik sind dies p, q, r, ...., \sim , \wedge, \to u.a.) aufbauen.

Jeder molekulare Ausdruck enthält atomare Ausdrücke, d.h. Ausdrücke, die nicht selbst wieder andere Ausdrücke als Teil enthalten.

siehe auch atomarer Ausdruck, logischer Atomismus

See also: Molekularer Ausdruck, Atomarer Ausdruck, Aussagenlogik, Induktive Definition, Logischer Atomismus