Definition:Semantic Consequence

Let $$U$$ be a set of logical formulas.

Let $$P$$ be a logical formula.

If $$P$$ is true in every model of $$U$$, then $$P$$ is a logical consequence of $$U$$, or $$P$$ is logically implied by $$U$$.

We can then write $$U \models P$$.