Proposisi kategoris
Proposisi kategoris adalah suatu pernyataan yang terdiri atas hubungan 2 term
sebagai subjek dan predikat serta dapat dinilai benar atau salah. Di dalam proposisi ini
predikat (P) menerangkan subjek (S) tanpa syarat. Hubungan ini berbentuk pengiyaan atau
pengingkaran.
Term sebagai Subjek : Hal yang diterangkan dalam pernyataan, sering di simbolkan
dengan (S).
Term sebagai Predikat : Hal yang menerangkan dalam pernyataan, sering di
simbolkan dengan (P).
Kopula, Hal yang mengungkapkan adanya hubungan antara subjek dan predikat,
dapat mengiyakan atau mengingkari, yang menunjukan kualitas dari pernyataan.
Kuantor atau Pembilang, Hal yang menunjukan lingkungan yang dimaksud subjek,
dapat berbentuk universal atau partikular. Kuantor juga sekaligus menunjukan
kuantitas Pernyataan.
Sumber referensi :
BMP ISIP4211 (Logika)
https://legalstudies71.blogspot.com/2016/04/proposisi-kategoris-beserta-unsur.html
https://slideplayer.info/slide/17609686/