Logic phương thức, các hệ thống chính thức kết hợp các phương thức như cần thiết, khả năng, không thể áp dụng, dự phòng, hàm ý nghiêm ngặt và một số khái niệm liên quan chặt chẽ khác.
logic hình thức: logic phương thức
Các mệnh đề đúng có thể được chia thành các phần tử khác nhau như Hồi 2 + 2 = 4 Tiết, đó là đúng bởi sự cần thiết logic (các mệnh đề cần thiết) và các mệnh đề như
Cách đơn giản nhất để xây dựng logic phương thức là thêm vào một số hệ thống logic phi phương thức tiêu chuẩn, một toán tử nguyên thủy mới dự định đại diện cho một trong các phương thức, để xác định các toán tử phương thức khác theo nó, và thêm các tiên đề hoặc quy tắc biến đổi liên quan đến các phương thức đó khai thác. Chẳng hạn, người ta có thể thêm ký hiệu L, nghĩa là có nghĩa là, Cần thiết, tính toán cho phép tính mệnh đề cổ điển; do đó, Lp được đọc là tên. Điều cần thiết là trang. Toán tử khả năng M (có thể có nghĩa là) có thể được định nghĩa theo thuật ngữ L là Mp = L¬p (trong đó có nghĩa là không phải là vụng). Ngoài các tiên đề và quy tắc suy luận của logic mệnh đề cổ điển, một hệ thống như vậy có thể có hai tiên đề và một quy tắc suy luận của riêng nó. Một số tiên đề đặc trưng của logic phương thức là: Lp ⊃ p và L (p ⊃ q) ⊃ (Lp ⊃ Lq). Quy tắc suy luận mới trong hệ thống này là quy tắc cần thiết: nếu p là một định lý của hệ thống, thì Lp cũng vậy. Các hệ thống logic phương thức mạnh hơn có thể thu được bằng cách thêm các tiên đề bổ sung. Ví dụ, một số thêm tiên đề Lp LLp, trong khi số khác thêm tiên đề Mp LMp. Xem logic chính thức: logic phương thức.
