Mệnh đề phân loại , theo logic âm tiết hoặc logic truyền thống, một mệnh đề hoặc phát biểu, trong đó vị ngữ, không có tiêu chuẩn xác định, khẳng định hoặc phủ nhận toàn bộ hoặc một phần của chủ ngữ. Do đó, mệnh đề phân loại có bốn dạng cơ bản: “Mọi S là P, ” “Không S là P, ” “Một số S là P, ” và “Một số S không phải P. ” Các dạng này được ký hiệu bằng các chữ cái A, E. , I, và O, tương ứng, để "Mọi người đều là người phàm", chẳng hạn, là một A-Dự luật. Các mệnh đề phân loại phải được phân biệt với các mệnh đề phức hợp và phức hợp, mà chúng được coi là các thuật ngữ tích phân; đặc biệt, là những khẳng định về thực tế chứ không phải về các mối liên hệ logic, chúng tương phản đặc biệt với các mệnh đề giả thuyết, chẳng hạn như "Nếu mọi người là phàm, thì Socrates là phàm."
![Biểu đồ Venn của bốn mệnh đề phân loại.](http://files.pastillainstitute.com/files/encyclopedia/1616/ne4gn4o8qq.jpg)