منطق ریاضی و پردازش زبان‌های طبیعی