1.

Proposisi kategorik merupakan pangkal pikir penalaran kategorik yang merupakan hubungan
dua term yang dapat diungkapkan dalam bentuk diagram himpunan. Proposisi sendiri memiliki
arti term, term merupakan istilah untuk mengungkapkan suatu konsep sehingga keduannya
merupakan satu-kesatuan.

Ada empat unsur proposisi:

 Term sebagai subjek, yaitu yang diterangkan dalam pernyataan yang sering disimbolkan
dengan "s".
 Term sebagai predikat, yaitu hal yang menerangkan dalam pernyataan, yang sering
disimbolkan dengan "p".Kedua unsur sebagi subjek dan predikat.
 Kopula, yaitu hal yang mengungkapkan adanya hubungan antara subjek dan predikat, dapat
mengiyakan atau mengingkari, afirmatif atau negatif yang menunjukan kualitas pernyataan.
 Kuantor, pembilang yang menunjukan lingkungan yang dimaksud oelh subjek, dapat
berbentuk universal atau partikular, yang sekaligus juga menunjukan kualitas pernyataan.
Contoh: - Sukarno adalah presidan pertama Republik Indonesia.
- X + 5 = 11 (bukan proposisi, karena "x" belum ditentukan).

Adapun proposisi di dalam kelompok Kategoris itu ada 4:

 Proposisi Universal Afirmatif, disebut proposisi tipe A dalam ilmu Logika, yaitu proposisi
yang menerangkan keadaan yang berlaku kepada semua anggota di dalam suatu kelompok
benda tanpa kecuali.
Contoh: Seluruh bangsa Indonesia terdiri dari manusia.
 Proposisi Universal Negatif, disebut proposisi tipe E dalam ilmu Logika, yaitu proposisi yang
menerangkan keadaan yang tidak berlaku kepada semua anggota di dalam kelompok suatu
benda tanpa kecuali.
Contoh: Semua manusia tidak abadi.
 Proposisi Partikular Afirmatif, disebut proposisi tipe I dalam ilmu Logika, yaitu proposisi
yang menjelaskan keadaan yang hanya berlaku bagi sebagian anggota di dalam kelompok
suatu benda.
Contoh: Beberapa orang ada yang jahat.
 Proposisi Partikular Negatif, disebut proposisi tipe O dalam ilmu Logika, yaitu proposisi yang
menjelaskan keadaan yang tidak berlaku untuk sebagian anggota di dalam kelompok suatu
benda.
Contoh: Sebagian manusia tidak percaya Tuhan.

2. Negasi proposisi kategorik merupakan ingkaran dari pernyataan atas hubungan dua term
sebagai subjek dan predikat.
contoh:
Hari ini adalah hari senin = Hari ini bukan hari senin.
Tidak ada candi borobudur di Magelang = Ada candi borobudur di Magelang.
Ada empat macam negasi proposisi kategorik:
 Negasi universal afirmatif adalah pertanyaan ingkaran umum yang mengiyakan adanya
hubungan subjek dan predikat.
contoh: Setiap warganegara sama kedudukannya dimata hukum.
 Negasi universal negatif adalah pernyataan ingkaran umum yang menginkaro adanya
hubungan subjek dan predikat.
contoh: semua insan bukan dari keturunan kera.
 Negasi partikular afimatif adalah pernyataan ingkaran harus yang mengiyakan adanya
hbungan subjek dan predikat.
contoh: tidak sebagian rakyat Indonesia adalah keturunan asing.
 Negasi partikular negatif adalah pernyataan ingkaran khusus yang mengingkari adanya
hubungan subjek dan predikat.
contoh: tidak semua Sarjana Hukum bukan ahli politik.

Sumber:
BMP ISIP4211 Logika