BSTS / Mantık Terimleri Sözlüğü
mantıksal kapanış anlamı İng. logical closure, deductive closure
K gibi bir önerme kümesinin mantıksal kapanışı, K kümesinin mantıksal sonucu olan bütün önermelerin kümesi demektir. || Böyle bir küme mantıkça kapalı bir önerme kümesidir.