Einfache Sprache

Def. Zusammengesetzte prädikatenlogische Formel

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