Una inferencia es semánticamente válida si y sólo si no puede ser el caso que las premisas sean verdaderas y su conclusión falsa a la vez.

(v. inferencia, validez sintáctica)