- 논리식,logical_formula . . . . 2 matches
- 식,expression . . . . 2 matches
- 형식,form . . . . 2 matches
- 규칙,rule . . . . 1 match
- 논리식,logic_formula . . . . 1 match
- 논리학,logic . . . . 1 match
- 명제논리,propositional_logic . . . . 1 match
- 명제식,propositional_formula . . . . 1 match
- 문장,sentence . . . . 1 match
- 연결사,connective . . . . 1 match
- 원자식,atom . . . . 1 match
- 정리,theorem . . . . 1 match
- 진리나무,truth_tree . . . . 1 match
- 포뮬러,formula . . . . 1 match
- 형식언어,formal_language . . . . 1 match
Show Context.