Definition:Semantic Consequence/Also known as

Semantic Consequence: Also known as

For semantic consequence, one also says that $\FF$ semantically entails $\phi$, in particular if $\FF$ comprises just one WFF.

The term formal consequence is also sometimes encountered.

Another common term used is logical consequence, but this is mainly used more generally in the context of logical implication.

Correspondingly, the term logical entailment can also be found.

However, the adjective "logical" is heavily used and prone to ambiguity, so these terms should not be used on $\mathsf{Pr} \infty \mathsf{fWiki}$.