- 값,value
- 널,null
- 논리연산자,logical_operator
- 동치,equivalence
- 로직,logic
- 명제논리,propositional_logic
- 명제식,propositional_formula
- 명제함수
- 모순,contradiction
- 불_함수,Boolean_function
- 연산자,operator
- 원소,element
- 의미값,semantic_value
- 진리,truth
- 진리값,truth_value
- 진리나무,truth_tree
- 진리표,truth_table
- 진술,statement
- 칼큘러스,calculus
Show Context.