Grund-atomare prädikatenlogische Formel

Einfache Sprache

Def. Grund-atomare prädikatenlogische Formel

Eine S-Formel ist eine Grund-atomare Formel, wenn sie keine Junktoren, Quantoren und Variablen enthält. Also ein Atomare S-Formel ohne Variablen.