- 공식,formula
- 귀류법,proof_by_contradiction
- 논리,logic
- 동치,equivalence
- 명제,proposition
- 명제논리,propositional_logic
- 불_대수,Boolean_algebra
- 수리논리,mathematical_logic
- 수학,math
- 수학적귀납법,mathematical_induction
- 술어,predicate
- 술어논리,predicate_logic
- 언어,language
- 연역,deduction
- 이산수학,discrete_math
- 정리,theorem
- 증명,proof
- 진리값,truth_value
- 집합,set
- 하텍_Notes
Show Context.