Based on deduction; reasoning from general principles to specifics.

• Using general rules to infer particular conclusions.

Basado en deducción; del principio general al caso particular.

• Usa reglas generales para inferir conclusiones concretas.

Relating to formal logic where conclusions follow with necessity.

• Employing valid inference rules to derive theorems or results.

Relativo a la lógica formal, donde las conclusiones son necesarias.

• Emplea reglas válidas para derivar teoremas o resultados.