Na lógica, um argumento é válido se e somente se tomar uma forma que torne impossível que as premissas sejam verdadeiras e a conclusão, no entanto, seja falsa. Não é necessário que um argumento válido tenha premissas realmente verdadeiras, mas ter premissas que, se fossem verdadeiras, garantiriam a verdade da conclusão…