Um argumento válido é aquele cujas premissas levam a uma conclusão por meio de uma sequência finita de regras formais preestabelecidas. Um exemplo de um argumento válido é: