CMP
추론,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
- 연역,deduction
- 귀납,induction
- abduction
추론,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
Sub:
자연연역,natural_deduction w ... RR 자연연역,natural_deduction
연역정리,deduction_theorem
{
w
RR 연역정리,deduction_theorem
}
deductive_system =,deductive_system . deductive_system
deductive_reasoning =,deductive_reasoning . deductive_reasoning
자연연역,natural_deduction w ... RR 자연연역,natural_deduction
연역정리,deduction_theorem
{
w
RR 연역정리,deduction_theorem
}
deductive_system =,deductive_system . deductive_system
deductive_reasoning =,deductive_reasoning . deductive_reasoning