1
deductive logic
See also:
帰納論理学 (きのうろんりがく)
1
(study of) logic
とりわけ、論理学には正確な定義が要求される。
Above all, logic requires precise definitions.