„Wohlgeformtformel“ – Versionsunterschied
| [ungesichtete Version] | [ungesichtete Version] |
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>“ |
K Textersetzung - „{{lat.-dt.}}“ durch „Sprachstufe::lat.-deu.“ |
||
| Zeile 1: | Zeile 1: | ||
[[wohlgeformt]]{{–}}[[Formel]] | [[wohlgeformt]]{{–}}[[Formel]] [[Sprachstufe::lat.-deu.]] 'wohlgeformte Formel' | ||
* Eine logische Formel, die [[Syntax#Syntax formaler Sprachen|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> | * Eine logische Formel, die [[Syntax#Syntax formaler Sprachen|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> | ||
Aktuelle Version vom 8. Juni 2025, 06:43 Uhr
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]
- ↑ Quelle: Logikformel