syntactic validity

<logic> An inference is syntactically valid iff the conclusion can be derived from the premises by means of stipulated rules of inference.

See semantic validity

[Glossary of First-Order Logic]

<2001-03-16>

Try this search on OneLook / Google

Nearby terms: syntactic consequence « syntactic tautology « syntactics « syntactic validity » syntax » syntax tree » synthetic