연역마감

Deductive closure

수학 논리학에서 논리식 집합T논리식 displaystyle\에서 논리적으로 추론할 수 있는 모든 {\(\ 하는 연역적으로 닫힙니다es T{\\ { }。T { T 공식의 집합인 T { T 연역적 닫힘은 연역적으로 닫힌 최소 슈퍼셋입니다.

T {T 연역적 닫힘은 종종 Ded (\ 또는 ( (\됩니다[citation needed]이것은 닫힘의 보다 일반적인 수학적 개념의 특별한 경우입니다. 특히 T 연역적 닫힘은 논리적 결과의 연역적 결과ence에 대한 T(\displaystyle\ 닫힘입니다.

명제논리에서는 모든 참 명제의 집합은 연역적으로 닫혀 있다.이것은 진실된 진술만이 다른 진실된 진술에서 파생될 수 있다는 것을 말한다.

인식론적 종결

인식론에서, 많은 철학자들은 명제의 특정 하위 집합, 특히 지식이나 신념정당성을 주제의 것으로 간주하는 이 추론 하에 닫혀 있는지 여부를 논의해 왔다.

레퍼런스