Zum Inhalt springen

Wohlgeformtformel

aus AufEinWort, der freien Forschung
Dies ist eine alte Version dieser Seite, zuletzt bearbeitet am 16. August 2024 um 09:34 Uhr durch Nikolaos (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „wohlgeformt{{–}}Formel {{lat.-dt.}} '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‘).<ref>Quelle: Logikformel</ref>“). Sie kann sich erheblich von der aktuellen Version unterscheiden.
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

wohlgeformt–Formel Vorlage:lat.-dt. '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=69796“