Combining Texts

Ideas for 'works', 'Rechnungsmethoden (dissertation)' and 'Introduction to the Theory of Logic'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

1 idea

5. Theory of Logic / A. Overview of Logic / 5. First-Order Logic

10897	A first-order 'sentence' is a formula with no free variables [Zalabardo]
	Full Idea: A formula of a first-order language is a 'sentence' just in case it has no free variables.
	From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §3.2)