- 경우,case
- 공준,postulate
- 기호논리학,Elementary_Logic
- 논리연산자,logical_operator
- 람다식,lambda_expression
- 명제proposition
- 모형,model
- 문장,sentence
- 불_함수,Boolean_function
- 비트,bit
- 원소,element
- 전칭명제
- 정의역,domain
- 진리,truth
- 진리값,truth_value
- 진리나무,truth_tree
- 진술,statement
- 충족가능성,satisfiability
- 토톨로지,tautology
- 필터,filter
- 함의,implication
Show Context.