Las fórmulas que pueden deducirse a partir de las fórmulas selectas utilizando las reglas de inferencia se conocen como teoremas.