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