Las reglas son axiomas deductivos ya que se utilizan para deducir nuevos hechos.