PROGRAM STUDI

TEKNIK INFORMATIKA MATA KULIAH

Logika Informatika

Pertemuan ke_4
KALIMAT BERKUANTOR DAN
METODE INFERENS

Tim pengampu
2022
 PROGRAM STUDI MATA KULIAH
TEKNIK INFORMATIKA
Logika Informatika

Capaian Pembelajaran
Setelah mempelajari materi ini mahasiswa
diharapkan dapat menjelaskan tentang
kuantor umum, kuantor khusus, negasi
proposisi, argument dengan tabel
kebenaran
 PROGRAM STUDI MATA KULIAH
TEKNIK INFORMATIKA
Logika Informatika

KUANTOR

Fungsi pernyataan adalah suatu kalimat terbuka yang ditulis sebagai f(x) yang bersifat bahwa f(a) bernilai
benar atau salah untuk setiap nilai a, dimana a adalah anggota dari semesta pembicaraan.

Contoh :
1. f(x) = 2 + x > 5
f(x) akan merupakan fungsi pernyataan pada A = himpunan bilangan asli.
2. Jika f(x) = 2 + x > 5 didefinisikan pada A = himpunan bilangan asli, maka f(x) bernilai benar untuk x =
4, 5, 6, 7, . . .
3. Jika f(x) = x + 3 < 1 didefinisikan pada A = himpunan bilangan asli, maka f(x) bernilai salah untuk x =
1, 2, 3, .

Terlihat bahwa fungsi pernyataan f(x) yang didefinisikan pada suatu himpunan tertentu akan bernilai
benar untuk:
 Semua anggota semesta pembicaraan,
 Beberapa anggota semesta pembicaraan, atau
 Tidak ada anggota yang memenuhi dari semesta pembicaraan.
 PROGRAM STUDI MATA KULIAH
TEKNIK INFORMATIKA
Logika Informatika

Kuantor Umum (Kuantor Universal)

Disimbolkan dengan , dibaca:

 “untuk semua” atau

 “untuk setiap”  kuantor umum.

Apabila f(x) adalah fungsi proposisi pada suatu himpunan A maka (x  A) f(x)
atau x, f(x) atau x f(x) adalah suatu pernyataan, yang dapat dibaca:

“Untuk setiap x elemen A, f(x) merupakan pernyataan” “Untuk semua x, berlaku

f(x)”.
 PROGRAM STUDI MATA KULIAH
TEKNIK INFORMATIKA
Logika Informatika

Contoh

1. f(x) = x tidak kekal

f(manusia) = Manusia tidak kekal
maka x, f(x) = x  {manusia}, f(x) = semua manusia tidak kekal  bernilai Benar

2. x f(x) = x (x + 3 > 1), pada A = {bilangan asli}  bernilai benar.

3. x f(x) = x (x + 3 < 1) pada A = {bilangan asli}  bernilai salah.

 PROGRAM STUDI MATA KULIAH
TEKNIK INFORMATIKA
Logika Informatika

Kuantor Khusus (Kuantor Eksistensial)

Disimbolkan dengan , dibaca:
• “ada” atau
• “untuk beberapa” atau
• “untuk paling sedikit satu” atau
• “terdapat”
 disebut kuantor khusus.

Apabila f(x) adalah fungsi pernyataan pada himpunan tertentu A, maka (x  A) f(x) atau x! f(x) atau x
f(x) adalah suatu pernyataan yang dibaca:
• “Ada x elemen A, sedemikian hingga f(x) merupakan pernyataan” atau
• “Untuk beberapa x, f(x)”.
• Untuk simbol !, menyatakan “Ada hanya satu”.
 PROGRAM STUDI MATA KULIAH
TEKNIK INFORMATIKA
Logika Informatika

Contoh

1. f(x) = x adalah wanita

f(perwira Polisi) = Perwira Polisi adalah wanita
x f(x) = x! f(x) = x  {perwira Polisi}, f(x) = terdapat perwira Polisi adalah wanita
 bernilai Benar

2. x f(x) = x (x + 2 < 5) pada A = {bilangan asli},

 bernilai Benar.

3. x f(x) = x (-1 - x > 1) pada A = {bilangan asli},

 bernilai salah.
 PROGRAM STUDI MATA KULIAH
TEKNIK INFORMATIKA
Logika Informatika

Negasi Berkuantor

Apabila x menyatakan orang/benda/ objek dan f(x) menyatakan pekerjaan atau

sifat orang atau benda/objek tersebut, maka akan berlaku hukum pengingkaran
sebagai berikut:

~ [x f(x)]  x ~ f(x)

~ [x f(x)]  x ~ f(x)
 PROGRAM STUDI MATA KULIAH
TEKNIK INFORMATIKA
Logika Informatika

Contoh

a. Negasi (Ingkaran) dari pernyataan:

“Semua orang berkaki dua“
adalah
“ Ada orang tidak berkaki dua ”

b. Negasi (Ingkaran) dari pernyataan:

“ Ada siswa sedang berkelahi “
adalah
“ Semua siswa tidak berkelahi “
 PROGRAM STUDI MATA KULIAH
TEKNIK INFORMATIKA
Logika Informatika

Negasi proposisi :
“ semua pria adalah orang kuat ”
Adalah :
“tidak benar bahwa semua pria adalah orang kuat “
Artinya ada pria minimal satu orang yang tidak kuat, maka ditulis :
Jika M menyatakan himpunan pria, maka ditulis :
(xM)(x kuat)  (xM)(x tidak kuat)
 PROGRAM STUDI MATA KULIAH
TEKNIK INFORMATIKA
Logika Informatika

Pernyataan ini
(xM)(x kuat)  (xM)(x tidak kuat) dapat
ditulis :
(xM).p(x)  (xM).p(x)

Demikian juga :
(xM).p(x)  (xM).p(x)

Dengan kata lain :

Tidak benar bahwa untuk setiap aA.p(a) Benar
eqivalen dengan terdapat aA sehingga p(a) Salah
 PROGRAM STUDI MATA KULIAH
TEKNIK INFORMATIKA
Logika Informatika

Negasi Proposisi :

1. p  q Konjungsi p  q
2. p  q Disjungsi p  q
3. p  q Implikasi p  q
4. p  q Biimplikasi p  q
p  q
5. q  p Konvers q  p
6. p  q Invers p  q
7. q  p Kontraposisi q  p
8. p  p Tautologi p  p
9. p  p Kontradiksi p  p
 PROGRAM STUDI MATA KULIAH
TEKNIK INFORMATIKA
Logika Informatika

Fungsi Proposisi Lebih dari Satu Variabel

Jika P = {pria}, W = {wanita} dan pernyataan: “x menikah dengan y” , maka M(x,y) adalah fungsi pernyataan pada
P x W.
Jika A = {bilangan asli} dan pernyataan: “3x + y – 4z < 11” , maka K(x,y,z) adalah fungsi pernyataan pada A x A x
A.

 Fungsi pernyataan:
x y p(x,y) atau x y z p(x,y,z)
Akan memiliki nilai kebenaran.

 Negasi pernyataan (lebih dari satu variabel):

~ [x {y p(x,y)}]  x ~ [y p(x,y)]  x y ~ p(x,y)

Contoh :
Diketahui: P = {Dodo, Didi, Dede} dan W = {Yuni, Kartika}, serta p(x,y) = x adalah kakak y.
Tuliskan negasi dari pernyataan : x  P, y  W, p(x,y) !
Jawab :
~ [x  P {y  W p(x,y)}]  x  P, ~ [ y  W, p(x,y)  x  P, y  W, ~ p(x,y)
Jika dibaca:
“Setiap anggota P adalah kakak dari paling sedikit satu anggota W”
Negasinya:
“Tidak benar bahwa setiap anggota P adalah kakak dari paling sedikit satu anggota W” atau
“Ada anggota P yang bukan kakak dari semua anggota W”.
 PROGRAM STUDI MATA KULIAH
TEKNIK INFORMATIKA
Logika Informatika

Soal-soal
1. Tentukanlah Invers, Konvers dan Kontraposisi dari pernyataan
berikut :
a. Jika Suplo siswa SMP, maka ia sudah lulus SD
b. Jika x = 4, maka x2 = 16
c. Jika x – 1 > 0, maka x2 – 5x + 4 > 0
2. Carilah nilai kebenaran pernyataan berikut dengan tabel kebenaran
a. (p v q) Λ ( r v p )
b. (~q Λ p) ↔ (~p v q)
c. p → (p ↔ ~q)
3. Tentukanlah negasi dari pernyataan berikut :
a. Jika Suplo bukan siswa SMP, maka ia belum lulus SD
b. Jika x = 4, maka x2 = 16

Tugas Bab Kuantor : Silahkan kerjakan soal-soal yang berwarna

merah
 PROGRAM STUDI MATA KULIAH
TEKNIK INFORMATIKA
Logika Informatika

4. Semesta pembicaraan pernyataan-pernyataan berikut ini adalah X = {1, 2,

3, 4, 5}.
Tentukan nilai kebenaran setiap pernyataan berikut ini, kemudian tentukan
negasinya !
a. x (4 + x < 10)
b. x (4 + x = 7)
c. x (4 + x  7)
d. x (4 + x > 8)
5. Tentukan nilai kebenaran dari setiap pernyataan berikut ini dengan semesta
pembicaraan himpunan A {1, 2, 3}.
a. x y (x + y = 1) h. x y (x2 < y + 1)
b. x y (x + y = 1) i. x y (x2 + y2 < 20)
c. x y (x + y = 1) j. x y (x2 + y2 < 13)
d. x y (x2 < y + 1) k. x y (x2 + y2 < 13)
e. x y (x2 < y + 1) l. x y (x2 + y2 < 13)
f. x y z (x2 + y2 < z2) m. x y z (x2 + y2 < z2)
g. x y z (x2 + y2 < z2) n. x y z (x2 + y2 < z2)
Tugas Bab Kuantor : Silahkan kerjakan soal-soal yang berwarna
merah
 PROGRAM STUDI MATA KULIAH
TEKNIK INFORMATIKA
Logika Informatika

6. Tentukan negasi pernyataan-pernyataan berikut ini !

a. x p(x)  y q(y)
b. x p(x)  y q(y)
c. x p(x)  y q(y)
d. x p(x)  y ~ q(y)
7. Diketahui himpunan A = {1, 2, 3, . . ., 10}.
Perhatikan bentuk-bentuk simbolik berikut ini :
a. y (x + y < 14) c. x y (x + y < 14)
b. x y (x + y < 14) d. x (x + y < 10)
Termasuk pernyataan atau kalimat terbukakah bentuk itu ?
Jika pernyataan, tentukan nilai kebenaranya dan tentukan juga himpunan penyelesaiannya.

Tugas Bab Kuantor : Silahkan kerjakan soal-soal yang berwarna

merah
 PROGRAM STUDI MATA KULIAH
TEKNIK INFORMATIKA
Logika Informatika

8. Negasikan pernyataan berikut:

a. Jika guru tidak hadir maka beberapa siswa tidak melengkapi pekerjaan
rumahnya
b. Semua siswa telah melengkapi pekerjaan rumahnya dan guru tersebut hadir
c. Beberapa siswa tidak melengkapi pekerjaan rumahnya atau guru tidak hadir
9. Diketahui sebuah argumen sebagai berikut :
p  q, q  r , ~r kesimpulannya adalah ~p. Buktkan apakah argumen yang
valid?. Buktikan dengan tabel kebenaran.