Fecho dedutivo é uma propriedade de um conjunto de objetos (normalmente sentenças lógicas). Consideramos que um conjunto de objetos B possui fecho dedutivo ou é fechado sob uma determinada operação de consequência C se, para cada subconjunto B' de B, se B' se relaciona com um conjunto de objetos D através de C, então D é subconjunto de B[1]. No contexto de lógica, o fecho lógico de um conjunto de sentenças B é o conjunto de todas as sentenças que podem ser deduzidas a partir de B.
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search