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


Single Idea 10893

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

Full Idea

A propositional logic sentence is a 'logical consequence' of a set of sentences (written Γ |= φ) if for every admissible truth-assignment all the sentences in the set Γ are true, then φ is true.

Gist of Idea

Γ |= φ for sentences if φ is true when all of Γ is true

Source

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

Book Ref

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


A Reaction

The definition is similar for predicate logic.