• Class_2020_1
       [[논리,logic]]
• FrontPage
       [[논리,logic]]
• WikiSandBox
       [[논리,logic]]
• 가설,hypothesis
       https://ncatlab.org/nlab/show/hypothesis - (short!) [[논리,logic]]에선 [[전제,premise]]와 동의어?
• 공식,formula
       [[논리,logic]]:
• 관계,relation
        물론 [[논리,logic]] [[이산수학,discrete_math]] [[대수학,algebra]] .....etc. 과도 관련
• 귀류법,proof_by_contradiction
       = merge; from [[논리,logic]] =
       TBW [[배중률,law_of_excluded_middle]](curr goto [[논리,logic]])과 분명히 밀접한데 구체적 연관 서술
• 그래프,graph
       [[논리,logic]]
• 기계학습,machine_learning
        1. 심볼 개념의 학습 패러다임 symbolic concept-acquisition paradigm: 숫자나 통계 대신 [[논리,logic]]학이나 [[그래프,graph]]구조 사용; 1970중반-80후반까지 AI의 핵심 접근법
• 논리,logic
       [[논리,logic]]에는
       Up: [[논리,logic]]
• 람다대수,lambda_calculus
       calculus의 번역엔 '논리'도 자주 보인다. 대수/계산(법)/논리 이 셋이 나름 최선의 번역이기는 함 (모두 [[규칙,rule]]/[[논리,logic]]/[[공리,axiom]]/...에 따라 [[식,expression]]/[[문자열,string]]/...(등의 어떤 [[대상,object]])을 변형/rewriting/[[변환,transformation]]/... 등을 하는 [[형식체계,formal_system]]얘기이므로)
• 명제,proposition
       [[논리,logic]]
• 명제논리,propositional_logic
       [[명제,proposition]] [[논리,logic]]
        [[implication]]([[함의,implication]] [[내포,implication]] [[함축,implication]] 중에? pagename TBD. curr see [[논리,logic#s-1]])
• 미적분,calculus
       논리학([[논리,logic]])분야의 calculus들은 대개 -논리 로 번역되는듯 ... (-연산 으로도 번역됨)
       [[minimal_logic]] = [[minimal_calculus]] (curr at [[논리,logic#s-4]]) ... WpEn:Minimal_logic ... "Minimal logic, or minimal calculus"
• 변수,variable
       논리학([[논리,logic]])에서 '''변수'''란, (an arbitrary instantiation of some given type ... 대충, 어떤 주어진 [[타입,type]]의 [[인스턴스화,instantiation]]{ AKA '''인스턴스 생성'''? [[인스턴스,instance]] 생성. [[클래스,classs]]나 [[타입,type]]에서?? } )을 뜻하는 [[기호,symbol]]이다.
       [[논리,logic]]
• 보수,complement
       logical_complement - [[논리,logic]]
• 불_논리,Boolean_logic
       Up: [[논리,logic]]
• 불_대수,Boolean_algebra
       [[불_논리,Boolean_logic]] 및 [[논리,logic]](학)과 '정확한' 관계 tbw.
       1854년 George Boole이 [[논리,logic]]를 체계적으로 다루기 위해 ... [* https://www2.southeastern.edu/Academics/Faculty/kyang/2018/Spring/CMPS375/ClassNotes/CMPS375ClassNotesChap03.pdf 3.1] 여기선 [[기호논리,symbolic_logic]] = Boolean_algebra. ''(근데 보통 기호논리 = 수리논리. see [[수리논리,mathematical_logic]] 아랫부분에 AKA)''
• 수리논리,mathematical_logic
       [[형식체계,formal_system]] - curr at [[논리,logic]]
       Up: [[수학,math]] [[논리,logic]]
• 수학,math
        - 이상 [[논리,logic]]과 겹치는 내용 많음, [[수리논리,mathematical_logic]]?
• 술어,predicate
       [[논리,logic]]
       이상 [[논리학,logic]](curr [[논리,logic]], esp [[수리논리,mathematical_logic]])의 '''술어,predicate'''였고
• 술어논리,predicate_logic
       [[술어,predicate]] [[논리,logic]].
       Up: [[논리,logic]] > [[형식논리,formal_logic]]
• 시간,time
        [[논리,logic]] [[논리학,logic]]
• 역함수,inverse_function
       [[논리,logic]] 쪽에선 이=inverse, 역=converse이므로 주의. CHK
• 연결,connection
       (이건 [[논리,logic]] [[논리학,logic]] 어학 [[언어학,linguistics]] ....그쪽)
• 연산,operation
       [[논리,logic]]
• 연역,deduction
       logic - [[논리,logic]] and [[논리학,logic]]
• 위상,topology
        * 일반위상수학 : [[집합론,set_theory]]과 [[논리,logic|논리학]]에 근거. 열린집합 닫힌집합 연결 덮개(cover) 연속성([[연속성,continuity]]) 위상동형 콤팩트성(compactness) 연결성 등 언급.
• 유도,induction
        같은 영단어 다른 뜻 - [[논리,logic]]에서 induction의 뜻은 [[귀납,induction]]
• 이산수학,discrete_math
       = 표현(with [[논리,logic]]?) =
       [[논리,logic]]
• 인공지능,artificial_intelligence
       '생각하는': [[인지]](recognition cognition perception 중에 무엇?), [[추론,inference]]( inference reasoning [[귀납,induction]](귀납추론) 연역추론(deductive inference - [[연역,deduction]]) ...) 등의 '생각' 과정 연구가 필요하므로, [[논리,logic]]학과 [[심리학,psychology]], [[신경과학,neuroscience]], [[인지과학,cognitive_science]] 연구가 필요하다.
        논리학 - [[논리,logic]]
• 일차논리,first-order_logic
       Up: [[논리,logic]] [[형식체계,formal_system]] '''[[술어논리,predicate_logic]] .... up인가 same인가?'''
• 전산학,compsci
       [[논리,logic]]
• 조건부,conditional
       논리학에서, ([[논리,logic]])
• 증명,proof
       일부 링크는 [[논리,logic]]에서 가져옴 i.e. MKL
• 진리값,truth_value
       Up: [[논리,logic]]
• 진리표,truth_table
       Up: [[논리,logic]]
       [[논리,logic]] esp. [[불_논리,Boolean_logic]], and [[불_대수,Boolean_algebra]] ?
• 집합,set
       also in: [[논리,logic]] and [[불_대수,Boolean_algebra]]
• 집합론,set_theory
       [[논리,logic]] esp [[수리논리,mathematical_logic]]
• 트리,tree
       논리학([[논리,logic]])에 [[진리나무,truth_tree]](tmp cur. [[RR:진리나무,truth_tree]])
• 편각,argument
       논리학([[논리,logic]])에선 [[논증,argument]] { [[RR:논증,argument]] }
• 항,term
       분야별([[논리,logic]] > [[불_논리,Boolean_logic]] / [[불_대수,Boolean_algebra]] etc)에 따라서 단어의 용법이 조금씩 차이나는 듯 한데 본질은 같으니.
• 항등식,identity
       [[논리,logic]]/[[수리논리,mathematical_logic]]의 law of identity
       Up: [[논리,logic]] [[항등성,identity]] [[법칙,law]]
• 형식체계,formal_system
       [[논리,logic]]
       Up: [[논리,logic]] [[수학,math]] [[system]] ([[계,system]] or [[체계,system]] or [[시스템,system]] 중에 뭐가 best?)
• 흡수법칙,absorption_law
       논리학([[논리,logic]])에서 말하는 흡수:

You can also click here to search title.