Es un conjunto de formulas que se denominan PREMISAS.

El objetivo de la lógica es utilizar las reglas de inferencia de manera que conduzcan a otros formulas que se de denominan CONCLUSIONES.

El paso lógico de las premisas a la conclusión se denomina DEDUCCIÓN ó DERIVACIÓN.

La conclusión que se obtiene se dice que es una CONSECUENCIA LÓGICA de las premisas si cada paso que se da para llegar a la conclusión está permitido por una regla.[3]