Zum Inhalt springen

Wohlgeformtformeln

aus AufEinWort, der freien Forschung
Dies ist eine alte Version dieser Seite, zuletzt bearbeitet am 16. August 2024 um 09:35 Uhr durch Nikolaos (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „Wohlgeformtformel-n {{Nbnwrtfrm Mz}} ''Wohlgeformtformel'' {{:Wohlgeformtformel}}“). Sie kann sich erheblich von der aktuellen Version unterscheiden.
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

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