Calculus mệnh đề , hay còn gọi là Sentential Calculus , trong logic, hệ thống biểu tượng của điều trị hợp chất và mệnh đề phức tạp và mối quan hệ hợp lý của họ. Trái ngược với phép tính vị từ, phép tính mệnh đề sử dụng các mệnh đề đơn giản, không phân tích được hơn là các thuật ngữ hoặc biểu thức danh từ làm đơn vị nguyên tử của nó; và, trái ngược với phép tính hàm, nó chỉ xử lý các mệnh đề không chứa biến. Các mệnh đề đơn giản (nguyên tử) được biểu thị bằng các chữ cái, và các mệnh đề hợp chất (phân tử) được hình thành bằng cách sử dụng các ký hiệu tiêu chuẩn: · cho “và,” ∨ cho “hoặc,” ⊃ cho “nếu. . . sau đó, ”và ∼ cho“ không. ”
Đọc thêm về Chủ đề này lôgic hình thức: Phép tính mệnh đề Nhánh đơn giản nhất và cơ bản nhất của lôgic học là phép tính mệnh đề, sau đây được gọi là PC, được đặt tên như vậy vì nó chỉ giải quyết các ... Là một hệ thống hình thức, phép tính mệnh đề liên quan đến việc xác định công thức nào (dạng mệnh đề phức hợp) có thể chứng minh được từ các tiên đề. Các suy luận hợp lệ giữa các mệnh đề được phản ánh bởi các công thức có thể chứng minh được, bởi vì (với A và B bất kỳ ) A ⊃ B có thể chứng minh được nếu và chỉ khi B luôn là hệ quả logic của A. Phép tính mệnh đề nhất quán ở chỗ không tồn tại công thức nào trong đó sao cho cả A và ∼ Acó thể chứng minh được. Nó cũng hoàn chỉnh theo nghĩa là việc bổ sung bất kỳ công thức không thể chứng minh nào dưới dạng tiên đề mới sẽ dẫn đến mâu thuẫn. Hơn nữa, tồn tại một quy trình hiệu quả để quyết định liệu một công thức nhất định có thể cung cấp trong hệ thống hay không. Xem thêm phép tính vị ngữ; tư tưởng, luật của.
