BackLinks search for "명제논리,propositional_logic"
- 논리학,logic
- 로직,logic
- 명제식,propositional_formula
- 문장,sentence
- 변수,variable
- 앨지브라,algebra
- 오더,order
- 원소,element
- 정리,theorem
- 진리나무,truth_tree
- 진술,statement
- 추론규칙,inference_rule
- 충족가능성,satisfiability
Show Context.
Show Context.