온톨로지, DL, 규칙 등 시맨틱 웹 관련 문서들을 보다 보면 논리학 관련 용어들이 심심치 않게 등장한다. 우연찮게 발견한 국내 논리학 논문을 통해 몇몇 용어들의 한글 이름을 적어본다.
- entailment: 필함
- entail: 필함한다.
- conjunction: 연접
- disjunction: 선접
- disjunct: 선접지
- negation: 부정
- boolean expression: 부울식
- Herbrand Base: 허브랜드 토대
- sentential logic: 문장 논리
- connective: 연결사
- tautology: 항진식
- equality: 동치