A  B  C  D  E  F  G  H  I  J  L  M  N O  P  R  S  T  V

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)