منطق تکمیلی (پیشرفته)