Wohlgeformtformel

wohlgeformt–Formel lat.-deu. 'wohlgeformte Formel'

• Eine logische Formel, die keine syntaktischen Fehler aufweist und der durch eine Belegung der nicht-logischen Konstanten ein spezifischer Wahrheitswert zugewiesen werden kann, heißt auch „wohlgeformte Formel“ (engl. ‚well formed formula‘).