Proposisi kategoris , dalam logika silogistik atau tradisional, proposisi atau pernyataan, di mana predikatnya, tanpa kualifikasi, ditegaskan atau ditolak dari semua atau sebagian subjek. Jadi, proposisi kategoris terdiri dari empat bentuk dasar: "Setiap S adalah P, " "Tidak S adalah P, " "Beberapa S adalah P, " dan "Beberapa S bukan P. " Bentuk-bentuk ini ditunjuk oleh huruf A, E , I, dan O, masing-masing, sehingga "Setiap orang fana," misalnya, adalah A-dalil. Proposisi kategoris harus dibedakan dari proposisi majemuk dan proposisi kompleks, yang di dalamnya mereka masuk sebagai suku-suku integral; khususnya, menjadi pernyataan fakta daripada koneksi logis, mereka kontras terutama dengan proposisi hipotetis, seperti "Jika setiap orang fana, maka Socrates fana."
Artikel ini terakhir kali direvisi dan diperbarui oleh John M. Cunningham, Editor Pembaca.
