Consiste en derivar la verdad de una proposición, llamada conclusión, de la verdad de otras proposiciones, llamadas premisas.