Um argumento é válido quando é impossível suas premissas serem verdadeiras e sua conclusão, falsa. A validade não depende do conteúdo das sentenças, mas apenas da formado argumento. Por essa razão, a lógica é chamada lógica formal. Em outras palavras, a validade de um argumento não depende de as premissas e de a conclusão dele serem, de fato, verdadeiras ou falsas. Portanto, ao se apresentar um argumento, não basta que este seja válido. É preciso, também, que ele seja correto. Um argumento é correto quando é válido e apresenta premissas verdadeiras. Somente nesse caso, pode-se estar certo da verdade da conclusão.