Proposisi kategoris , dalam logik silogistik atau tradisional, proposisi atau pernyataan, di mana predikat itu, tanpa kelayakan, disahkan atau ditolak dari semua atau sebahagian subjek. Oleh itu, proposisi kategoris terdiri dari empat bentuk dasar: "Setiap S adalah P, " "Tidak ada S adalah P, " "Beberapa S adalah P, " dan "Beberapa S bukan P. " Bentuk-bentuk ini ditentukan oleh huruf A, E , I, dan O, masing-masing, sehingga "Setiap manusia fana," misalnya, adalah A-dalil. Proposisi kategoris harus dibezakan dari proposisi kompaun dan kompleks, di mana ia dimasukkan sebagai istilah tidak terpisahkan; secara khusus, sebagai pernyataan fakta dan bukan hubungan logik, mereka berbeza terutama dengan proposisi hipotetis, seperti "Jika setiap orang fana, maka Socrates adalah fana."
Artikel ini baru-baru ini disemak dan dikemas kini oleh John M. Cunningham, Editor Pembaca.
