연역마감
Deductive closure수학 논리학에서 논리식 집합T는논리식 displaystyle\에서 논리적으로 추론할 수 있는 모든 {\(\를 하는 연역적으로 닫힙니다es T{\\ { }。T { T가 공식의 집합인 T { T의 연역적 닫힘은 연역적으로 닫힌 최소 슈퍼셋입니다.
T {T의 연역적 닫힘은 종종 Ded (\ 또는 ( (\로 됩니다[citation needed]이것은 닫힘의 보다 일반적인 수학적 개념의 특별한 경우입니다. 특히 T의 연역적 닫힘은 논리적 결과의 연역적 결과ence에 대한 T(\displaystyle\의 닫힘입니다.
예
명제논리에서는 모든 참 명제의 집합은 연역적으로 닫혀 있다.이것은 진실된 진술만이 다른 진실된 진술에서 파생될 수 있다는 것을 말한다.
인식론적 종결
인식론에서, 많은 철학자들은 명제의 특정 하위 집합, 특히 지식이나 신념의 정당성을 주제의 것으로 간주하는 것이 추론 하에 닫혀 있는지 여부를 논의해 왔다.