... vực khoa học cơng nghệ Tốn học giúp biểu diễn tri thức, xây dựng mơ hình ứng dụng, diễn tả ngơn ngữ tự nhiên…Trong tri thức mênh mơng tốn học, logic học bao gồm logic mệnh đề, logic vị từ, logic ... truyền thống, logic được nghiên cứu nhánh triết học Kể từ kỉ 19 logic thường được nghiên cứu toán học luật Gần logic được áp dụng vào khoa học máy tính trí tuệ nhân tạo Là ngành khoa học hình ... đề chuyển thành đại số vị từ hệ toán mệnh đề chuyển thành hệ toán vị từ Nếu logic mệnh đề cho phép tiến hành phép biến đổi tốn học xác chặt chẽ phán đốn logic vị từ, nữa, cho phép thực phép biến...