- if_and_only_if
- 논리기호,logic_symbol
- 논리상수,logical_constant
- 논리연산,logical_operation
- 논리연산자,logical_operator
- 논리학,logic
- 명제논리,propositional_logic
- 명제식,propositional_formula
- 부정,negation
- 술어,predicate
- 연결,connection
- 연결사,connective
- 연산자,operator
- 진리표,truth_table
- 함의,implication
- 해석,interpretation
Show Context.