Na lógica formal, se discute sobre a correção ou incorreção de um argumento. A correção lógica de um argumento depende da