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