CMP
MKL
추론,inference
규칙,rule
추론규칙,inference_rule
공리,axiom
증명,proof
명제,proposition
logic -
논리,logic and
논리학,logic
형식체계,formal_system
정의,definition
철학,philosophy
과학,science
reasoning (and
reasoning_system) - 논증 추리 추론(inference에 쓰기로 함) 유추 .... rel.
이성,reason reasoning
법칙,law
원리,principle
정리,theorem