Zum Inhalt springen

Wohlgeformtformel

aus AufEinWort, der freien Forschung
Dies ist die aktuelle Version dieser Seite, zuletzt bearbeitet am 8. Juni 2025 um 06:43 Uhr durch Nikolaos (Diskussion | Beiträge) (Textersetzung - „{{lat.-dt.}}“ durch „Sprachstufe::lat.-deu.“).
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

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‘).[1]
  1. ↑ Quelle: Logikformel
Abgerufen von „https://aufeinwort.info/w/index.php?title=Wohlgeformtformel&oldid=96868“