IV. Kategori/Tipe Soal Silogisme 1. Silogisme Kategori Tipe 1 M - PS - M∴ S - P Keterangan:M = middle term/penengahS = subjekP = predikat Contoh: Semua A adalah B.Sebagian C adalah A.Jadi: Sebagian C adalah B. Semua A adalah B.Semua C adalah A.Jadi: Semua C adalah B. Tidak ada A adalah B.Semua C adalah A.Jadi: Semua C adalah bukan B. Semua A adalah bukan B.Semua C adalah A.Jadi: Semua C adalah bukan B. 2. Silogisme Kategori Tipe 2 P - MS - M∴ S - P Contoh:B adalah A.Sebagian C adalah bukan A.Jadi: Sebagian C adalah (bukan) B. 3. Silogisme Kategori Tipe 3 M - PM - S∴ S - P Contoh: Semua A adalah B.Sebagian A adalah C.Jadi: - Sebagian (bukan) C adalah B. Sebagian A adalah (bukan) C dan B. Semua A adalah B.Sebagian A adalah bukan C.Jadi: - Sebagian (bukan) C adalah B. Sebagian A adalah (bukan) C dan B. Semua A adalah B.Sebagian A adalah C dan D.Jadi: - C dan D adalah B. Bukan C dan bukan D adalah B. 4. Silogisme Kategori Tipe 4: P - MM - S∴ S - P Contoh: Semua A adalah B.Sebagian B adalah C.Jadi: Sebagian A adalah (bukan) C. Semua A adalah B.Sebagian B adalah bukan C.Jadi: Sebagian A adalah (bukan) C. Semua A adalah B.B adalah C.C adalah D.Jadi: Sebagian A adalah D, dan B. Semua A adalah B.B adalah C.C adalah bukan D.Jadi: Sebagian A adalah bukan D, dan B. Semua A adalah B.Semua B adalah C.Jadi: Semua A adalah C = Semua bukan C adalah bukan A. Semua A adalah B.Sebagian B adalah C.Sebagian C adalah D.Jadi: Sebagian A adalah (bukan) D. Semua A adalah B.Semua B adalah C.D adalah A.Jadi: D adalah C. 5. Silogisme Hipotesis p⟹qq⟹r∴p⟹r=¬r⟹¬p Contoh:Jika A maka B.Jika B maka C.Jadi: Jika A maka C = Jika bukan C maka bukan A. 6. Silogisme Hipotesis Bentuk Khusus Contoh: Ada A adalah B (Jika A maka B)Jika B maka C.Jadi: - Jika A adalah B maka C. Jika bukan C maka A adalah bukan B. Ada A adalah bukan B (Jika A maka bukan B)Jika B maka C.Jadi: Tidak ada kesimpulan yang bisa ditarik. 7. Proposisi a. Proposisi Universal Negatif Eksklusif (Saling Lepas) Contoh:A bukan B.B bukan A.Jadi: - A dan B saling lepas. A dan B tidak memiliki irisan (tidak mungkin terjadi bersamaan). b. Proposisi Partikular Afirmatif Inklusi Contoh:A adalah B.Sebagian A adalah C, kecuali D.Jadi: D adalah A.D adalah A dan B (tetapi tidak C).