Semantic Consequence

definitionpropositional-logic

Definition

Let $\Gamma$ be a set of propositional formulas (finite or infinite) and let $\phi$ be a proposition. We say that $\phi$ is a (semantic) consequence of $\Gamma$ if and only if for every valuation $V$ such that $V\models \Gamma$, we have $V\models \phi$.

Examples