El aparato deductivo consiste, a su vez, en un conjunto de fórmulas selectas y un conjunto de reglas de inferencia.