Una regla de inferencia es una función que va de conjuntos de fórmulas a fórmulas.