Atomare prädikatenlogische Formel

Einfache Sprache

Def. Atomare prädikatenlogische Formel

Eine S-Formel ist eine atomare Formel, wenn sie keine Junktoren oder Quantoren enthält.