Sentence

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A formula with no free variables — a closed well‑formed formula — that asserts a proposition about the domain of discourse and can be assigned a truth value relative to an interpretation or structure.