Deductieve afsluiting
Uit Wikipedia, de vrije encyclopedia
In de logica is de deductieve afsluiting van een verzameling proposities en een verzameling afleidingsregels de verzameling proposities zodanig dat deze elke propositie bevat die afleidbaar is uit met regels in . Formeel beschouwd is de deductieve afsluiting een afsluiting waarbij een verzameling proposities gesloten is onder afleidingsregels in .
Binnen de kennistheorie wordt gediscussieerd of bepaalde deelverzamelingen van kennis, die bijvoorbeeld betrekking hebben op kennis of geloof over een bepaald onderwerp, afgesloten zijn onder deductie.