A lógica fornece padrões de correção do raciocínio. Dois de seus conceitos são a validade e a legitimidade: um argumento é válido quando sua conclusão segue logicamente suas premissas; um argumento é legítimo quando não é apenas válido, como também possui premissas verdadeiras.

Considere o seguinte argumento:

“Todos os patos são raposas;

todas as raposas são animais;

logo (conclusão), todos os patos são animais”.

O argumento é