1.

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.
ada 4 macam pengertian menurut para ahli proposisi kategoris dengan lambang
A, E, I dan O, yaitu :
a. Proposisi kategoris"universal afirmatif" (A) adalah pernyataan umum yang
mengakui adanya hubungan term subyek dan term predikat. Proposisi A
terbagi menjadi 2: Proposisi "universal afirmatif ekuivalen", yang mengakui
persamaan antara term subyek dan term predikat; dan Proposisi "universal
afirmatif implikatif", yang mengakui semua term subyek adalah bagian dari term
predikat.
b. Proposisi kategoris "universal negatif" (E) adalah pernyataan umum yang
mengingkari adanya hubungan term subyek dan term predikat. Proposisi E
hanya terbagi 1:
Proposisi "universal negative eksklusif", yang mengingkari tidak ada hubungan
antara term subyek dan term predikat.
c. Proposisi kategoris "partikularafirmatif" (I) adalah pernyataankhusus yang
mengakui adanya hubungan term subyek dan term predikat. Proposisi I terbagi
menjadi 2:
Proposisi "particular afirmatif inklusif", yang mengakui sebagian term subyek
adalah bagian dari term predikat; dan
Proposisi "particular afirmatif implikasi", yang mengakui sebagian term subyek
adalah term predikat.
d. Proposisi kategoris"particular negatif" (O) adalah pernyataan khusus yang
mengingkari adanya hubungan term subyek dan term predikat. Proposisi O
terbagi menjadi 2:
Proposisi "particular negative inklusif", yang mengingkari sebagian term subyek
bukan adalah bagian dari term predikat; dan
Proposisi "particular negative implikasi", yang mengingkari sebagian term
subyek bukan adalah term predikat.

Contoh : - Bung Tomo adalah seorang pejuang

- Rhoma Irama bukan seorang mentri

2. Negasi atau ingkaran adalah operasi dalam matematika terhadap suatu

pernyataan, baik tunggal maupun majemuk.
Negasi p adalah ~p.
contoh negasi : (Hari ini adalah hari senin) adalah (Hari ini adalah tidak hari senin)