IV. Kategori/Tipe Soal Silogisme


1. Silogisme Kategori Tipe 1

M – P
S – M
∴ S – P

Keterangan:
M = middle term/penengah
S = subjek
P = predikat

Contoh:

  1. Semua A adalah B.
    Sebagian C adalah A.
    Jadi: Sebagian C adalah B.

  2. Semua A adalah B.
    Semua C adalah A.
    Jadi: Semua C adalah B.

  3. Tidak ada A adalah B.
    Semua C adalah A.
    Jadi: Semua C adalah bukan B.

  4. Semua A adalah bukan B.
    Semua C adalah A.
    Jadi: Semua C adalah bukan B.

2. Silogisme Kategori Tipe 2

P – M
S – M
∴ S – P

Contoh:
B adalah A.
Sebagian C adalah bukan A.
Jadi: Sebagian C adalah (bukan) B.

3. Silogisme Kategori Tipe 3

M – P
M – S
∴ S – P

Contoh:

  1. Semua A adalah B.
    Sebagian A adalah C.
    Jadi: – Sebagian (bukan) C adalah B.

    • Sebagian A adalah (bukan) C dan B.

  2. Semua A adalah B.
    Sebagian A adalah bukan C.
    Jadi: – Sebagian (bukan) C adalah B.

    • Sebagian A adalah (bukan) C dan B.

  3. 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 – M
M – S
∴ S – P

Contoh:

  1. Semua A adalah B.
    Sebagian B adalah C.
    Jadi: Sebagian A adalah (bukan) C.

  2. Semua A adalah B.
    Sebagian B adalah bukan C.
    Jadi: Sebagian A adalah (bukan) C.

  3. Semua A adalah B.
    B adalah C.
    C adalah D.
    Jadi: Sebagian A adalah D, dan B.

  4. Semua A adalah B.
    B adalah C.
    C adalah bukan D.
    Jadi: Sebagian A adalah bukan D, dan B.

  5. Semua A adalah B.
    Semua B adalah C.
    Jadi: Semua A adalah C = Semua bukan C adalah bukan A.

  6. Semua A adalah B.
    Sebagian B adalah C.
    Sebagian C adalah D.
    Jadi: Sebagian A adalah (bukan) D.

  7. Semua A adalah B.
    Semua B adalah C.
    D adalah A.
    Jadi: D adalah C.

5. Silogisme Hipotesis



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:

  1. 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.

  2. 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).