Proposisi Kategorik

Proposisi kategori adalah suatu pernyataan yang terdiri atas hubungan dua term sebagai subjek dan
predikat serta dapat dinilai benar atau salah. Hubungan ini berbentuk penyiaan atau pengingkaran.
Proposisi kategori terdiri atas empat unsur, 2 diantaranya merupakan materi pokok proposisi,
sedangkan dua yang lain sebagai hal yang menyertainya. 4 unsur yang dimaksudkan adalah term sebagai
subjek, term sebagai predikat, kopula, dan kuator.

Term sebagai subjek adalah hal yang diterangkan dalam proposisi, term sebagai predikat adalah hal yang
menerangkan dalam proposisi. Kedua unsur sebagai subjek dan predikat inilah yang merupakan materi
pokok proposisi kategori. Kopula merupakan hal yang mengungkapkan adanya hubungan antara subjek
dan predikat serta kuantor merupakan pembilang yang menunjukkan lingkungan yang dimaksudkan
oleh subjek.

Proposisi dalam logika dapat benar dapat juga salah tidak dapat dinilai kedua-duanya. Dalam arti tidak
dapat setengah benar atau setengah salah. Jika benar Ya benar jika salah ya Salah sehingga tegas
perbedaan antara keduanya. Benar salahnya suatu proposisi dihubungkan dengan hal yang
dibicarakannya. Jika hal yang dibicarakannya tentang benda-benda alamiah maka kebenarannya adalah
harus sesuai dengan kenyataannya dan jika yang dibicarakan hal atas dasar persetujuan bersama maka
kebenarannya harus sesuai dengan hasil persetujuan tersebut. Jadi benar salahnya suatu proposisi itu
dihubungkan dengan isinya.

Dan sebagai subjek berhubungan dengan kuantitas proposisi. Subjek dibedakan antara subjek universal
dan subjek partikular. Subjek universal adalah mencakup semua yang dimaksud oleh subjek partikular
adalah hanya mencakup sebagian dari keseluruhan yang disebutkan oleh subjek. Subjek universal dalam
pernyataan simbolik disertai dengan kuantor universal sedangkan subjek partikular dalam pernyataan
simbolik disertai dengan kuantor eksistensial.

Term sebagai predikat selalu berhubungan dengan isinya dan merupakan kualitas proposisi yang
dibedakan antara predikat afirmatif dan predikat negatif. Predikat afirmatif adalah sifat mengiyakan
adanya hubungan predikat dengan subjek predikat negatif adalah sifat mengingkari adanya hubungan
predikat dengan subjek atau sifat meniadakan hubungan subjek dengan predikat.

Hubungan subjek dan predikat yang merupakan unsur pokok terwujud adanya 4 macam proposisi
kategori, yaitu proposisi universal afirmatif ialah pernyataan umum mengiyakan, proposisi universal
negatif ialah pernyataan umum mengingkari, proposisi partikular afirmatif ialah pernyataan khusus
mengiyakan, proposisi partikular negatif ialah pernyataan khusus mengingkari.

Proposisi kategori merupakan pernyataan yang terdiri atas hubungan dua term sebagai subjek dan
predikat serta secara sederhana dibedakan atas empat macam, yaitu proposisi universal afirmatif
proposisi universal negatif proposisi partikular afirmatif dan proposisi partikular negatif. Dari 4 macam
proposisi kategorik berdasarkan denotasi atau luas term yang dihubungkan dapat dibedakan menjadi 7
macam proposisi kategori. Proposisi universal afirmatif ialah pernyataan bersifat umum yang
mengiyakan adanya hubungan subjek dengan predikat sedangkan proposisi universal afirmatif
berdasarkan perbandingan luas term dan dapat dibedakan atas dua macam yaitu universal afirmatif
ekuivalen dan universal afirmatif implikasi. Posisi universal negatif ialah pernyataan bersifat umum yang
mengingkari adanya hubungan subjek dengan predikat titik proposisi universal negatif berdasarkan
perbandingan luas term hanya ada satu bentuk, yaitu berbentuk eksklusif sehingga lengkapnya disebut
universal negatif eksklusif yaitu pernyataan umum mengingkari yang berarti antara subjek dan predikat
tidak ada hubungan.

Posisi partikular afirmatif ialah pernyataan bersifat khusus yang mengiyakan adanya hubungan subjek
dengan predikat titik proposisi partikular afirmatif berdasarkan perbandingan luas term dapat dibedakan
atas dua macam yaitu partikular afirmatif inklusif dan partikular afirmatif implikasi. Posisi partikular
negatif ialah pernyataan bersifat khusus yang mengingkari adanya hubungan subjek dengan predikat
yang berdasarkan luas term dapat dibedakan atas dua macam yaitu partikular negatif inklusif dan
partikular negatif implikasi.

Negasi proposisi kategori merupakan ingkaran dari pernyataan atau hubungan dua term sebagai subjek
dan predikat secara sederhana dapat dibedakan atas empat macam yaitu proposisi negatif universal
afirmatif proposisi negasi universal negatif, proposisi negatif partikular affirmatif dan proposisi negatif
partikular negatif. Dari empat macam negasi proposisi kategori berdasarkan denotasi yang dihubungkan,
dapat dibedakan menjadi 7 macam negasi proposisi kategori. Proposisi negasi universal afirmatif ialah
pernyataan ingkaran umum yang mengiyakan adanya hubungan subjek dengan predikat.

Proposisi negasi universal afirmatif, dibedakan atas dua macam yaitu negasi universal afirmatif ekuivalen
dan negasi universal afirmatif implikasi. Proposisi negasi universal negatif ialah pernyataan ingkaran
umum mengingkari adanya hubungan subjek dengan predikat. Proposisi negasi universal negatif
berdasarkan perbandingan luas term hanya ada satu bentuk yaitu berbentuk eksklusif sehingga
lengkapnya disebut negasi universal negatif eksklusif, yaitu pernyataan ingkaran umum mengingkari
yang berarti antara subjek dan predikat tidak ada hubungan, yang kemudian diingkari, misalnya " Bukan
semua rakyat Indonesia tidak mengikuti ajaran komunis. " proposisi negasi partikular afirmatif ialah
pernyataan ingkaran khusus yang mengiyakan adanya hubungan subjek dengan predikat.

Proposisi ingkaran partikular afirmatif berdasarkan perbandingan luas term dapat dibedakan atas dua
macam yaitu negasi partikular afirmatif inklusif dan negasi partikular afirmatif implikasi. Proposisi negatif
ialah pernyataan ingkaran khusus yang mengingkari adanya hubungan subjek dengan predikat titik
proposisi negasi partikular negatif berdasarkan perbandingan luas term dibedakan atas dua macam
yaitu negasi partikular negatif inklusif dan negasive artikular negatif implikasi.