التقريب لحد المنطق