Quando um argumento proposicional é considerado válido?

Um argumento proposicional é válido se não existe atribuição de valores que torne todas as premissas verdadeiras e a conclusão falsa.

Explicação:
Verifica-se a validade procurando um contraexemplo: uma valoração das proposições que faça todas as premissas verdadeiras e a conclusão falsa. Se existir tal valoração, o argumento é inválido; se não existir (p.ex., por tabela-verdade ou prova semântica), o argumento é válido.

Exemplo:
Premissas: \(P_1: p\to q\), \(P_2: q\). Conclusão: \(C: p\).
Tomando a valoração \(p=\text{F},\; q=\text{V}\): \(P_1\) é verdadeira (\(F\to V\) = V) e \(P_2\) é verdadeira, mas \(C\) é falsa. Logo há um contraexemplo e o argumento é inválido.