O que caracteriza um argumento válido em lógica proposicional?

Um argumento é válido se não existe nenhuma valoração em que todas as premissas são verdadeiras e a conclusão é falsa.

Isso significa que a validade exige preservação da verdade em todas as interpretações; para mostrar que um argumento é inválido basta um contraexemplo, ou seja, uma valoração que torne todas as premissas verdadeiras e a conclusão falsa.

Exemplo:
Premissas: \(p \to q\), \(q\). Conclusão: \(p\).
Valoração: \(v(p)=F,\; v(q)=T\).
Então \(v(p\to q)=T\) e \(v(q)=T\), mas \(v(p)=F\).
Logo há uma valoração com premissas verdadeiras e conclusão falsa, portanto o argumento é inválido.