Satz (Geschlossene Formel)

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eine Formel ohne freie Variablen — eine geschlossene wohlgeformte Formel — die eine Aussage über den Diskursbereich trifft und in Bezug auf eine Interpretation oder Struktur einen Wahrheitswert zugewiesen bekommen kann.