BackLinks search for "명제논리,propositional_logic"
- 공식,formula
- 논리,logic
- 명제,proposition
- 미적분,calculus
- 변수,variable
- 불_논리,Boolean_logic
- 산술,arithmetic
- 수리논리,mathematical_logic
- 술어논리,predicate_logic
- 일차논리,first-order_logic
- 증명,proof
- 진리값,truth_value
- 집합론,set_theory
- 형식체계,formal_system
Show Context.