Una inferencia es sintácticamente válida si y sólo si su conclusión puede ser derivada (o deducida) de las premisas por medio de las reglas de inferencia establecidas.

(v. derivación, validez semántica)