Es una secuencia finita de enunciados de los cuales uno, la conclusión, se sigue necesariamente de los anteriores.