Si la conclusión es una consecuencia lógica de las premisas, se dice que el argumento es deductivamente válido.
Sólo se requiere que la conclusión sea una consecuencia lógica de las premisas.
Si un argumento, además de ser válido, tiene premisas verdaderas, entonces se dice que es sólido.
En la lógica proposicional, un método alternativo es transformar un argumento en su correspondiente fórmula, y construir una tabla de verdad.
Esto se debe a que vale el teorema de la deducción y su converso, pero también a que la lógica proposicional es decidible, y por lo tanto siempre admite de un procedimiento algorítmico para determinar si una fórmula cualquiera es una verdad lógica o no.