Este es un ejemplo de argumento deductivo. La conclusión se infiere necesariamente de las premisas. Si aceptamos que las premisas son verdaderas, no podemos negar la verdad de la conclusión sin incurrir en una contradicción lógica .

Es importante aclarar que la lógica, al evaluar argumentos deductivos, se centra principalmente en la relación entre las premisas y la conclusión , es decir, si la conclusión se deriva necesariamente de las premisas, independientemente de si las premisas son de hecho verdaderas o falsas en el mundo real . La lógica establece si la estructura del argumento garantiza la transmisión de la verdad de las premisas a la conclusión. La cuestión de la verdad factual de las premisas pertenece a otros ámbitos del conocimiento.