Bài báo này trình bày một phương pháp tận dụng kiến thức sâu rộng về các mô hình ngôn ngữ quy mô lớn (LLM) cho suy luận hình thức. Để giải quyết vấn đề nhất quán logic trong kết quả đầu ra do LLM tạo ra, chúng tôi đề xuất một phương pháp tích hợp trực tiếp LLM vào hàm diễn giải ngữ nghĩa hình thức của logic paraconsistent. Chúng tôi chứng minh tính khả thi của phương pháp này thông qua các thí nghiệm trên một số tập dữ liệu chuẩn về tính xác thực của câu ngắn. Hơn nữa, khác với các nghiên cứu trước đây, chúng tôi cung cấp một khuôn khổ lý thuyết cho suy luận thần kinh biểu tượng, tận dụng kiến thức LLM đồng thời bảo toàn tính vững chắc và đầy đủ của logic cơ bản.
