CMP
추론,inference
규칙,rule
추론규칙,inference_rule
공리,axiom
증명,proof
명제,proposition
- 연역,deduction
- 귀납,induction
- abduction
추론,inference
규칙,rule
추론규칙,inference_rule
공리,axiom
증명,proof
명제,proposition
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