演えん繹えき論ろん理り学がく

noun

deductive logic

Rare technical term in logic; often contrasted with 帰納論理学 (inductive logic).

See also: 帰納論理学

• 演えん繹えき論ろん理り学がくは、前ぜん提ていから必ひつ然ぜん的てきに結けつ論ろんを導みちびく推すい論ろんの体たい系けいである。

  Deductive logic is a system of reasoning that draws necessary conclusions from premises.