Diferencia entre verdad y validez

En lógica simbólica, las nociones de verdad y de validez son claramente diferentes.
La verdad es una noción semática que alude a una relación entre una expresión y un estado de cosas.
Si tomamos una forma proposicional, como ésta no posee significado semántico referido al mundo -aunque sí significado lógico-, la verdad se refiere a posibilidades, a la posibilidad de ser verdadera en interpretaciones eventuales.
Por ejemplo, p y q, será verdadera en toda interpretación donde p sea verdadera y q también sea verdadera, y sólo en ese caso.
Otra forma de decirlo es que esa forma proposicional será verdadera en todo mundo posible donde p por un lado y q por otro sean verdaderas.
Una tautología, entonces, es una expresión verdadera en todo mundo posible, lo que significa que es imposible que haya una interpretación (bajo el principio de no contradicción) en la que sea falsa.
La validez en cambio es una propiedad formal de una forma o estructura de razonamiento, definida como la imposibilidad de que las premisas sean verdaderas y la conclusión sea falsa para cualquier interpretación posible bajo el principio de no contradicción.