- 논리기호,logic_symbol
- 논리연결사,logical_connective
- 논리연산자,logical_operator
- 논리학,logic
- 명제논리,propositional_logic
- 명제식,propositional_formula
- 부정,negation
- 술어,predicate
- 식,expression
- 연결,connection
- 적형식,wff
- 진리표,truth_table
- 진술,statement
- 품사pumsa
- 함의,implication
- 해석,interpretation
Show Context.