Un sistema deductivo es un conjunto de reglas que nos permite establecer afirmaciones de consecuencia entre un conjunto de oraciones y una oración atendiendo solamente a su forma.