A.

Proposisi Kategoris
Pada umumnya, di dalam Logika terdapat 3 jenis proposisi, yaitu proposisi kategoris,
proposisi hipotesis, dan proposisi modalitas. Yang dimaksudkan dengan PROPOSISI
KATEGORIS adalah proposisi yang menyatakan secara langsung tentang cocok tidaknya
hubungan yang ada di antara term subjek dan term predikat. Disebut kategoris sebab
proposisi ini menyatakan sesuatu tentang suatu hal tanpa syarat. Setiap proposisi kategoris
mengandung 3 unsur, yaitu subjek, predikat dan kopula. Term subjek adalah term tentang
sesuatu yang diakui atau diingkari oleh sesuatu yang lain. Term predikat adalah term yang
yang mengakui atau mengingkari term subjek. Term subjek dan term predikat keduanya
merupakan unsure material sebuah preposisi. Adapun kopula adalah kata kerja penghubung
yang menyatakan kesesuaian atau ketidaksesuaian di antara subjek dan predikat, atau
berfungsi menghubungkan subjek dengan predikat. Kopula menjadi unsure formatur
(pembentuk) sehingga hubungan subjek-kopula-predikat membentuk struktur logis sebuah
proposisi. Rumusan simboliknya adalah sebagai berikut:

S = P   ATAU   S ≠ P

Contoh :

1. Semua makhluk hidup bisa bernafas Sebagian makhluk hidup bisa bernafas.

2. Tidak semua makhluk hidup bisa bernafas.
3. Semua makhluk hidup berjalan dengan kaki.
4. Sebagian makhluk hidup berjalan dengan kaki.
5. Tidak semua makhluk hidup berjalan dengan kaki.
6. Semua makhluk hidup bisa berenang.
7. Sebagian makhluk hidup bisa berenang.
8. Tidak semua makhluk hidup bisa berenang.
9. Semua makhluk hidup tidak bisa berenang.
B. Kuantitas Dan Kualitas Proposisi Kategoris
1. Kualitas atau ciri karakteristik sebuah proposisi kategoris terkandung di dalam hakikat
proposisi itu sendiri, yaitu AFIRMATIF atau NEGATIF. Sebuah proposisi disebut afirmatif
jika kopula berfungsi menghubungkan atau mempersatukan S dengan P. Sebuah proposisi
dianggap negative apabila kopula memisahkan antara S dan P.
Contoh :
1. Tidak ada manusia yang tidak dapat mati.
2. Tidak semua mahasiswa memahami logika
 3. Beberapa pejabat tidak memahami logika

2.  Kuantitas sebuah proposisi ditentukan oleh hakikat yang bersifat universal atau particular.
Proposisi ini berhubungan dengan denotasi atau jumlah individu objek dimana term subjek
diterapkan. Sebuah proposisi disebut universal jika term subjek adalah universal.

Contoh :

1. Semua perbuatan pasti ada balasannya.

2. Polisi bukanlah petugas medis.

                      Dan sebuah proposisi disebut particular jika term subjeknya particular.

Contoh :

1. Ada pengendara yang tidak mematuhi rambu-rambu lalu lintas.

2. Tim sepak bola kita menang mutlak atas tim universitas lain.
3. Ada mahasiswa yang tidak mengikuti ujian akhir semester.

3.      Proposisi A-E-I-O adalah kombinasi antara kualitas dan kuantitas proposisi yang
menghasilkan empat bentuk baku proposisi kategoris.

a.       Proposisi afirmatif-universal, atau yang biasa disebut proposisi Contoh :

1. Semua pengendara kendaraan roda dua wajib memakai helm.

2. Semua pengendara wajib mematuhi peraturan lalu lintas.
3. Semua penjahat pasti akan dihukum.

b.      Proposisi negative-universal, atau yang biasa disebut proposisi E. Contoh :

1. Batu bukan makhluk hidup.

c.       Proposisi afirmatif-partikular, atau yang biasa disebut proposisi I. Contoh :

1. Beberapa pengendara memakai helm.

2. Beberapa pengendara memakai helm.

d.      Proposisi negative-partikular, atau yang biasa disebut proposisi O. Contoh :

1. Beberapa mahasiswa tidak menempuh Ujian Tengah Semester.