مدل‌های زبانی بزرگ (LLM) و تکنیک‌های استنتاج منطقی