LOGIKA INFORMATIKA

(Pertemuan 7 –Kuantor)
Program Studi Sistem Informasi
Fakultas Teknologi Industri
Universitas Atma Jaya Yogyakarta
KUANTOR (QUANTIFIER)

 Fungsi pernyataan = suatu kalimat terbuka

di dalam semesta pembicaraannya

 Misal :
p(x) : x + 5 < 3
KUANTOR (QUANTIFIER) (2)

p(x) yang didefinisikan pada suatu himpunan

tertentu akan bernilai benar untuk : p(x) : x + 5 <
3
 semua anggota semesta pembicaraan
 x+5<3 untuk x = { x < -2}
 beberapa anggota semesta pembicaraan
 x+5<3 untuk x = { x ≤ -2}
 tidak ada anggota semesta pembicaraan yang memenuhi.
x+5<3 untuk x = { x > 2}
KUANTOR UMUM (UNIVERSAL)

 Simbol :
 (xA)p(x) : untuk semua (setiap) x elemen A,
p(x) merupakan pernyataan yang benar
 contoh :
1. (xR) (x2≥0)
2. (xN) (x+1>0)
3. (xZ) (x+0=0+x=x)
KUANTOR KHUSUS (EXISTENTIAL)

 Simbol :
 (xA) p(x) : ada (untuk beberapa / untuk
paling sedikit satu) x elemen A, p(x)
merupakan pernyataan yang benar.
 contoh:

1. (x Z) (5x=75)

2. (x R) (x3+1=0)
NEGASI KUANTOR

 ((x) p(x)) = (x) ((p(x))

 ((x) p(x)) = (x) ((p(x))
KUANTOR GANDA

 (x) (y) (p(x,y))

 (x) (y) (p(x,y))
 (x) (y) (p(x,y))
 (x) (y) (p(x,y))
Contoh

 Semua harimau adalah pemangsa

 Ada seseorang mengenal setiap orang
 Setiap
orang memiliki seseorang yang
menjadi ibunya
 Semua orang mencintai Ana
 Setiap orang dicintai oleh semua orang
 Seseorang dicintai oleh semua orang
 Setiap orang mencintai Yogyakarta
Latihan

 Semua orang menghormati Presiden

 Semua orang bali bisa menari
 Semua mahasiswa SI yang lulus Logika
Informatika
 Ada mahasiswa SI yang tidak lulus Logika
Informatika
 Ada
mahasiswa SI mendapat nilai A di
semua mata kuliah