... phục hạn chế lôgíc mệnh đề như: thiếu việc sử dụng lượng từ toàn thể phận, không phân tích kết cấu mệnh đề Sự khắc phục cho phép ta sâu vào phân tích ngữ nghĩa mệnh đề, tư tưởng nói chung, mở ... định nghĩa trung tâm vấn đề quan tâm Logic toán xây dựng sở logic mệnh đề logic vị từ +/ Logic mệnh đề Cơ sở lôgic toán, thực chất bao gồm đại số mệnh đề hệ toán mệnh đề, gọi chung phép tính mệnh ... với lôgic mệnh đề, cấu thành sở lôgic toán Về thực chất, mở rộng lôgic mệnh đề nhờ bổ sung thêm nhiều yếu tố thành phần vào ngôn ngữ hình thức hoá phép toán lôgic mệnh đề Kết quả, đại số mệnh đề...