بستهبندی استنتاجی در منطق ریاضی
در منطق ریاضی، یک مجموعه از فرمولهای منطقی، بستهبندی استنتاجی دارد اگر شامل تمام فرمولهایی باشد که بهطور منطقی از آن استنتاج میشوند. به زبان رسمی، اگر A مجموعهای از فرمولها باشد، بستهبندی استنتاجی آن کوچکترین ابرمجموعهای است که بستهبندی استنتاجی دارد.
بستهبندی استنتاجی یک نظریه اغلب با نماد Cn(T) یا K نشان داده میشود. این مفهوم مورد خاصی از مفهوم کلیتر بستهبندی در ریاضیات است، به ویژه بستهبندی استنتاجی یک مجموعه، بستهبندی آن مجموعه نسبت به عمل نتیجهگیری منطقی است.
مثالها
در منطق گزارهای، مجموعه تمام گزارههای درست، بستهبندی استنتاجی دارد. این بدان معناست که تنها گزارههای درست از گزارههای درست دیگر استنتاج میشوند.
بستهبندی معرفتی
در معرفتشناسی، فیلسوفان درباره اینکه آیا زیرمجموعههای خاصی از گزارهها—به ویژه آنهایی که دانش یا توجیه اعتقاد را به یک سوژه نسبت میدهند—زیر مجموعههای بستهبندی استنتاجی هستند، بحث میکنند.