syntactic consequence

<logic> A is the syntactic consequence of a set G of wffs iff A can be derived from G (and the axioms). Notation: G |- A.

[Glossary of First-Order Logic]

<2001-03-16>

Try this search on OneLook / Google