Gültigkeit

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eigenschaft eines Satzes (Formel ohne freie Variablen), dass er in jeder zulässigen Interpretation oder Bewertung der Logik wahr ist; ein Satz, der in allen Modellen gilt, ist gültig (logische Wahrheit).