Based on deduction; reasoning from general principles to specifics.

• Using general rules to infer particular conclusions.

Auf Deduktion beruhend; vom Allgemeinen zum Besonderen schließend.

• Allgemeine Regeln nutzen, um besondere Schlüsse zu ziehen.

Relating to formal logic where conclusions follow with necessity.

• Employing valid inference rules to derive theorems or results.

Zur formalen Logik gehörig, in der Schlüsse notwendig folgen.

• Gültige Ableitungsregeln zur Herleitung von Sätzen verwenden.