Wohlgeformte Formel

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eine syntaktisch gültige Ausdrucksfolge einer formalen Sprache, die aus atomaren Formeln und logischen Junktoren gemäß den Formationsregeln dieser Sprache konstruiert ist; häufig abgekürzt WFF.