연역,deduction

Difference between r1.1 and the current

@@ -10,6 +10,15 @@
[[공리,axiom]]
[[증명,proof]]
[[명제,proposition]]
logic - [[논리,logic]] and [[논리학,logic]]
[[형식체계,formal_system]]
[[정의,definition]]
[[철학,philosophy]]
[[과학,science]]
reasoning (and [[reasoning_system]]) - 논증 추리 추론(inference에 쓰기로 함) 유추 .... rel. [[이성,reason]] NN:reasoning
[[법칙,law]]
[[원리,principle]]
[[정리,theorem]]

Sub:
[[자연연역,natural_deduction]] w ... RR 자연연역,natural_deduction
@@ -26,5 +35,4 @@
w
WtEn:deductive_reasoning ?
연역추리? 연역추론?



Sub:
자연연역,natural_deduction w ... RR 자연연역,natural_deduction
연역정리,deduction_theorem
{
w
RR 연역정리,deduction_theorem
}
deductive_system =,deductive_system . deductive_system
w
WtEn:deductive_system ?
연역체계? 연역시스템 ?
deductive_reasoning =,deductive_reasoning . deductive_reasoning
w
WtEn:deductive_reasoning ?
연역추리? 연역추론?