Jenis - Jenis

Kuantifikasi
Mata Kuliah Logika dan Himpunan Matematika

Dosen Pengampu :
1. Lioni Anka Monalisa, S.Pd., M.Pd.
2. Nurcholif Diah Sri Lestari, S.Pd., M.Pd.
Anggota Kelompok

Husnul Khotimah 230210101009

Alfi Hidayanti 230210101017
Adil Ibadi Izzat 230210101026
 01
Kuantifikasi
Kuantifikasi atau Kuantor merupakan proposisi
yang biasanya menggunakan kata-kata seperti “setiap”,
“semua”, “seluruh”, “ada”, “beberapa”, “terdapat”.
Kuantifikasi dibagi menjadi 2 yakni Kuantifikasi Universal
dan Kuantifikasi Ekstensial.
Predikat adalah suatu proporsi terbuka
yang melibatkan variable dimana nilai
kebenaran predikat tergantung pada nilai
variabel. Domain dari variabel x
merupakan Kumpulan nilai yang bisa
dimiliki oleh x.

02
Predikat dan Domain
 03
Kuantifikasi Universal
Kuantifikasi universal memiliki ciri-ciri kata di depan seperti
“semua”, “seluruh” atau “setiap”. Lambang dari kuantifikasi
universal adalah .

x, p(x) dapat dibaca, “untuk semua x berlaku p(x)” x

B, p(x) dapat dibaca, “untuk semua x anggota B berlaku p(x)”
 04
Kuantifikasi Eksistensial
Kuantifikasi eksistensial atau Kuantor eksistensial memiliki
karakteristik yaitu adanya kata “ada” kemudian “beberapa” dan
“terdapat” ataupun kata – kata yang semakna lainnya. Simbol
untuk kuantor eksistensial yaitu ∃.

Lambang dari kuantor eksistensial tadi adalah ∃, tetapi untuk

lambang ∃ x ∊D, p(x) dibaca dengan “terdapat x pada elemen D
yang besifat p(x)”.
 Kalimat Kuantifikasi Universal dan Eksistensial
Universal Eksistensial

P(x) : x+1 > 0

Proposisi : “ x bilangan asli, berlaku p(x)”
merupakan proposisi yang bernilai benar.
Apabila perubah x diganti dengan setiap
anggota bilangan asli B={1,2,3,...}, maka
hasilnya akan selalu lebih dari 0.
“Ada x anggota bilangan asli yang
memenuhi ”
Apakah pernyataan itu benar atau salah?
 05
Negasi Kuantifikasi Universal
x)P(x)x) P(x)
Ingkaran kalimat “semua x bersifat p(x)” adalah “Ada x yang tidak
bersifat p(x)”
Misalkan :
P : semua bilangan bulat adalah positif
(x)(B(x)→P(x))
p : ada bilangan bulat yang tidak positif
(x)(B(x) Λ P(x))
 06
Negasi Kuantifikasi Eksistensial
(x)P(x) (x) P(x)
Ingkaran kalimat ”Ada x yang bersifat q(x)” adalah ”Semua x
tidak bersifat q(x)”
Misalkan :
p : Ada bilangan prima adalah bilangan genap
(x)(P(x) Λ G(x))
p : semua bilangan prima bukan bilangan genap
(x)(P(x)→G(x))
TERIMA KASIH
Pergi ke Ladang untuk Bertani

Tidak Lupa Menabur Benih

Kami Pamit Undur Diri

Cukup Sekian dan Terima Kasih

07
Penutup