Based on deduction; reasoning from general principles to specifics.

• Using general rules to infer particular conclusions.

Relating to formal logic where conclusions follow with necessity.

• Employing valid inference rules to derive theorems or results.