• TeX_및_LaTeX_수식_문법
       논리 기호는 curr. goto [[수리논리,mathematical_logic]]
• WikiSandBox
        [[수리논리,mathematical_logic]]
• 귀납,induction
       [[수리논리,mathematical_logic]]에서 쓰이는 proof_method 이다. ([[증명,proof]] 방법)
• 논리,logic
       수리논리학 [[수리논리,mathematical_logic]]
       수리논리 [[수리논리,mathematical_logic]]
       // ALSOIN [[수리논리,mathematical_logic]]
• 명제,proposition
       [[수리논리,mathematical_logic]]
• 명제논리,propositional_logic
       [[수리논리,mathematical_logic]]
• 변수,variable
       [[수리논리,mathematical_logic]]
• 보존,conservation
       [[수리논리,mathematical_logic]]에선
• 불_논리,Boolean_logic
       [[수리논리,mathematical_logic]]
• 불_대수,Boolean_algebra
       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)''
• 수학,math
        - 이상 [[논리,logic]]과 겹치는 내용 많음, [[수리논리,mathematical_logic]]?
• 수학적귀납법,mathematical_induction
        ''[[철학,philosophy]]([[수리논리,mathematical_logic]]학을 제외한 고전적 철학)에서 말하는 귀납법이랑은 분명 다르지만 [[수학,math]]에서 [[귀납,induction]]은 (거의?) 항상 이걸 일컬음?? i.e. 수학과 철학에서 단어 induction의 의미가 다름? via 수백+내생각. chk''
• 술어,predicate
       [[수리논리,mathematical_logic]]
       이상 [[논리학,logic]](curr [[논리,logic]], esp [[수리논리,mathematical_logic]])의 '''술어,predicate'''였고
• 연산,operation
       [[수리논리,mathematical_logic]]
• 이산수학,discrete_math
        [[수리논리,mathematical_logic]]
• 전산학,compsci
       [[귀납,induction]] - CS에선 넓은 의미의 [[철학,philosophy]]의 일반적 귀납 말고 [[수리논리,mathematical_logic]]에서의 [[수학적귀납법,mathematical_induction]]만을 뜻함?
• 지수,exponentiation
        ''[[수리논리,mathematical_logic]]에서도 nth order logic이 숫자 n이 커질수록 앞의 것보다 더 일반적/확장/고차원이 되나, [[오더,order]]가 낮았을 때 성립하던 이른바 '좋은 [[성질,property]]'이 없어지게(i.e. 성립하지 않는 경우가 생기게) 되는데....''
• 집합론,set_theory
       [[논리,logic]] esp [[수리논리,mathematical_logic]]
• 항등식,identity
       [[논리,logic]]/[[수리논리,mathematical_logic]]의 law of identity
• 형식체계,formal_system
       [[수리논리,mathematical_logic]]

You can also click here to search title.