1. [명사] 시비나 싸움을 걺.
2. [명사] 판단이나 결론 따위를 이끌어 냄.
3. 단어가 문맥 자유 문법에서 어떻게 유도되었는지를 설명하는 나무 모양의 그림.
4. [동사] 판단이나 결론 따위가 이끌려 나오다.
5. 논리 시스템에서 쓰이는 추론 전략으로 어떠한 주장이 옳음을 결정하는 것. 문제 해결 이론의 증명은 특별히 1차 서술 논리의 증명 이론인 추론 논리를 이용한다.
6. [명사] 컴퓨터를 써서 자동으로 정리를 증명하는 기법의 하나.
7. 논리학에서 명제를 증명하는 방법. 검증 가능한 이론 또는 증거가 아무리 많아도 그 이론을 부정하는 하나의 논리 또는 증거가 있으면 명제가 거짓으로 되도록 하는 방법이다.
8. 소리 정보의 추가적인 복사나 변환 과정에서 정보의 일정량을 잃거나 그 정보의 질이 저하되는 현상.
9. 수리 논리학의 하나로, 어떤 정리에 대하여 부정을 한 다음 추론을 통해 정리를 증명하는 방식.
10. 수학적 논리 및 자동화 이론에서 사용하는 결정 규칙의 원리. 전제로부터 논리적 참을 추론하는 과정과 규칙을 통하여 결정한다.