• FrontPage
       [[논리학,logic]]
• Principia_Mathematica
       [[논리학,logic]]
• VideosWatching
       Mathematics is the logical study of how logical things work. // 만물에 대한 것을 다루진 않고 [[논리,logic]] [[논리학,logic]]인 것에 대한
• WikiSandBox
       see also [[논리학,logic#s-1.1]]
• if_and_only_if
        [[수학,math]] esp [[로직,logic]]([[논리,logic]]/[[논리학,logic]])
• 가능성,possibility
       표현들 - mode ( [[모드,mode]] ? ) logic ( [[논리,logic]] [[논리학,logic]] [[로직,logic]] )
• 고정점,fixed_point
       [[논리학,logic]] 셋 중에 pagename?
• 기호논리학,Elementary_Logic
       Up: [[논리학,logic]] > [[기호논리학,symbolic_logic]] [[책,book]]
• 논리결과,logical_consequence
       Up: [[논리학,logic]]
• 논리기호,logic_symbol
       [[로직,logic]] - [[논리,logic]] [[논리학,logic]]
• 논리상수,logical_constant
       Up: [[논리,logic]]/[[논리학,logic]] [[상수,constant]] symbol([[기호,symbol]] [[심벌,symbol]])
• 논리연산,logical_operation
       Up: [[논리학,logic]] [[연산,operation]]
• 논리연산자,logical_operator
       논리([[논리학,logic]])쪽에선 그럼 [[연산자,operator]]와 [[연결사,connective]]가 완전 동일?
• 논리일관성,logical_consistency
       Up: [[논리학,logic]] [[일관성,consistency]]
• 논리학,logic
       추론 is curr at [[논리학,logic#s-8]]
• 논증,argument
       논증으로 번역되는 argument는 항상 https://proofwiki.org/wiki/Definition:Logical_Argument ? of [[로직,logic]] [[논리,logic]] [[논리학,logic]]? CHK
       [[논리학,logic]]
• 동치,equivalence
       [[논리동치,logical_equivalence]] ([[논리학,logic]] [[논리,logic]] [[로직,logic]])
       Up: [[논리학,logic]] [[논리,logic]] [[로직,logic]] [[동치,equivalence]]
• 로직,logic
       [[논리학,logic]]
       Up: [[프로그래밍패러다임,programming_paradigm]] [logic] ([[로직,logic]] [[논리,logic]]? [[논리학,logic]]?)
• 모드,mode
        * [[논리,logic]] [[논리학,logic]] term.
        Up: [[논리,logic]] [[논리학,logic]]
• 모순,contradiction
       [[논리학,logic]]
• 문장,sentence
        [[논리학,logic]]?
• 불_식,Boolean_expression
       Up: [[논리,logic]]? { [[VG:논리,logic]] exists } [[논리학,logic]]?
• 소거,elimination
       (논리학) // [[논리학,logic]]
• 스테이트먼트,statement
       [[논리학,logic]]에선 [[진술,statement]].
• 신택스,syntax
       // [[논리,logic]] [[논리학,logic]] [[형식언어,formal_language]] [[형식체계,formal_system]] - 의 syntax:
• 아규먼트,argument
       [[언어학,linguistics]] [[로직,logic]]/[[논리,logic]]/[[논리학,logic]] 에서
• 연결사,connective
       Up: [[논리학,logic]]
• 완전성completeness
       [[논리학,logic]]에서 '''완전성'''.
• 일관성,consistency
       [[논리일관성,logical_consistency]] - ''[[논리,logic]] [[논리학,logic]] [[로직,logic]]에서 '''일관성'''의 뜻은 무모순성. 즉 [[모순,contradiction]]의 부재.
• 자연연역,natural_deduction
       Up: [[연역,deduction]] - curr [[논리학,logic#s-10]]
• 적형식,wff
       [[논리학,logic]]
• 전건,antecedent
       Up: [[논리학,logic]]
• 전제,premise
       Rel: [[논리학,logic]]
• 정의,definition
       Up: [[논리학,logic]]
• 조합론,combinatorics
       [[논리학,logic]] [[논리,logic]] [[로직,logic]]
• 증명,proof
       merge [[논리학,logic#s-9]] Ggl:무위의+증명 Naver:무위의+증명
• 증명이론,proof_theory
       Up: [[증명,proof]] / [[증명이론,proof_theory]] , logic [[로직,logic]] [[논리,logic]] [[논리학,logic]] , [[칼큘러스,calculus]]
• 진리나무,truth_tree
       Up: [[논리학,logic]]
• 진리표,truth_table
       Up: [[논리학,logic]]
• 철학,philosophy
       [[로직,logic]] - [[논리학,logic]] [[논리,logic]]
• 추론,inference
       [[논리학,logic]]에서 세 가지 형태가 있다.
• 추론규칙,inference_rule
       [[논리학,logic]]
• 칼큘러스,calculus
        * logical_calculus - [[논리학,logic]] https://encyclopediaofmath.org/wiki/Logical_calculus
       [[로직,logic]] - [[논리,logic]] [[논리학,logic]]
• 퀀티피케이션,quantification
       [[로직,logic]] - [[논리,logic]] / [[논리학,logic]].
• 텀,term
       항 (논리학 esp 형식논리 수리논리 에서) [[항,term]] - curr at [[논리학,logic]]윗부분.
• 토톨로지,tautology
       MVFROM [[논리학,logic#s-6.1]]
• 후건,consequent
       Up: [[논리학,logic]]

You can also click here to search title.