BSTS / Mantık Terimleri Sözlüğü
mantıkça kapalı önermeler kümesi anlamı İng. logically (deductively) closed set of sentences Alm.logisch-geschlossenne Aussagenmenge Fr. ensemble d'énoncés logiquement clos
Tüm mantıksal sonuçlarını kapsayan önermeler kümesi. || Örn. Geçerli önermelerin tümünden oluşan küme mantıkça kapalı olduğu gibi, herhangi bir önerme kümesinin mantıksal sonuçlar kümesi de mantıkça kapalıdır.