more on this theme     |     more from this thinker     |     more from this text

---

Single Idea 10899

[filed under theme 5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence |= ]

Full Idea

A formula is the 'logical consequence' of a set of formulas (Γ |= φ) if for every structure in the language and every variable interpretation of the structure, if all the formulas within the set are true and the formula itself is true.

Gist of Idea

Γ |= φ if φ is true when all of Γ is true, for all structures and interpretations

Source

José L. Zalabardo (Introduction to the Theory of Logic [2000], §3.5)

Book Ref

Zalabardo,José L.: 'Introduction to the Theory of Logic' [Westview 2000], p.102