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 é