fbpx

Matematika Diskrit : Predikat dan Kuantifikasi

๐Ÿ“‹ Daftar Isi

Predikat

โ€œJames adalah mahasiswa Politeknik Statistika STISโ€ adalah sebuah proposisi.

Kalimat tersebut dapat diubah menjadi predikat/fungsi proposisi/kalimat terbuka.

๐‘ƒ(๐‘ฅ) : ๐‘ฅ adalah mahasiswa Politeknik Statistika STIS.

๐‘„(๐‘ฅ, ๐‘ฆ) : ๐‘ฅ adalah mahasiswa ๐‘ฆ.

๐‘ƒ ๐‘‘๐‘Ž๐‘› ๐‘„ disebut simbol predikat. ๐‘ฅ ๐‘‘๐‘Ž๐‘› ๐‘ฆ disebut variabel predikat.

Predikat adalah kalimat yang berisi sejumlah variabel predikat dan menjadi proposisi ketika nilai tertentu disubstitusi ke variabel predikat. Himpunan semua nilai yang dapat digunakan sebagai pengganti variabel predikat disebut domain variabel predikat.

Contoh

  1. Jika P(x):= x > 3 dengan himpunan bilangan bulat sebagai domain D, maka P(4) bernilai T dan P(2) bernilai F.
  2. Jika Q(x, y):= x = y + 3 dengan domain R x R, maka Q(1, 2) bernilai F dan Q(3,0) bernilai T.
  3. Jika R(x, y, z):= x + y = z dengan domain R x R x R, maka R(1, 2, 3) bernilai T dan R(0, 0, 3) bernilai F.
  4. Jika S(x, y):= x mengambil matakuliah y dengan domain Mhs x MK, maka S(A, MD) bernilai T bila mahasiswa A mengambil matakuliah MD, dan S(A, MD) bernilai F bila mahasiswa A tidak mengambil matakuliah MD.

Kuantifikasi

Cara lain adalah dengan menambahkan kuantor, yaitu kata-kata seperti โ€œbeberapaโ€, โ€œsemuaโ€, dan lain-lain yang menunjukkan berapa banyak elemen yang dibutuhkan agar predikat menjadi benar.

Ada dua macam kuantifikasi untuk setiap variabel dalam sebuah predikat, yaitu:

  1. Kuantifikasi universal (universal quantification)
  2. Kuantifikasi eksitensi (exsistential quantification)

Definisi

Kuantifikasi universal untuk predikat P(x) adalah proposisi berikut:

โ€˜P(x) bernilai T untuk setiap (semua) elemen x di domain D

Ditulis: โˆ€xโˆˆD P(x) atau โˆ€x P(x) saja, bila D sudah jelas.

P(x) disebut sebagai scope untuk kuantifikasi โˆ€x tersebut.

Dibaca: Untuk setiap (semua) x di D, berlaku P(x) atau P(x) bernilai true


Definisi

Kuantifikasi eksistensi untuk predikat P(x) adalah proposisi berikut

โ€˜P(x) bernilai T untuk suatu elemen x di domain Dโ€™.

Ditulis: โˆƒxโˆˆD P(x) atau โˆƒx P(x) saja, bila domain D sudah jelas.

P(x) disebut sebagai scope untuk kuatifikasi โˆƒx tersebut.

Dibaca: Terdapat suatu x sehingga berlaku P(x), atau

Paling sedikit ada satu x sehingga P(x).

Variabel terikat (bind variable) dan variabel bebas (free variable)
Variabel x pada P(x) disebut sebagai variabel terikat bila

  • x telah diikat oleh suatu kuantifikasi โˆ€x atau โˆƒx, atau
  • x telah digantikan oleh sebuah elemen tertentu dari domain D.

Variabel x pada P(x) disebut sebagai variabel bebas bila x tidak terikat


Definisi

Sebuah predikat P(x, y, z) pada sebuah domain Dx x Dy x Dz, akan menjadi sebuah proposisi apabila semua variabel padanya, yaitu x, y, dan z merupakan variabel terikat. Jadi, proposisi-proposisi yang mungkin adalah:

โˆ€xโˆˆDx โˆ€yโˆˆDy โˆ€zโˆˆDz P(x, y, z) atau

โˆ€xโˆˆDx โˆ€yโˆˆDy โˆƒzโˆˆDz P(x, y, z) atau

โˆ€xโˆˆDx โˆƒyโˆˆDy โˆ€zโˆˆDz P(x, y, z) atau

โˆƒxโˆˆDx โˆ€yโˆˆDy โˆ€zโˆˆDz P(x, y, z) atau

โˆƒxโˆˆDx โˆƒyโˆˆDy โˆ€zโˆˆDz P(x, y, z) atau

โˆƒxโˆˆDx โˆ€yโˆˆDy โˆƒzโˆˆDz P(x, y, z) atau

โˆ€xโˆˆDx โˆƒyโˆˆDy โˆƒzโˆˆDz P(x, y, z) atau

โˆƒxโˆˆDx โˆƒyโˆˆDy โˆƒzโˆˆDz P(x, y, z)


Contoh 1

Dengan domain D = {x | x adalah bilangan real} dan

P(x) := x + 1 > x,

Maka โˆ€x P(x) berbunyi sebagai โ€˜ Untuk setiap bilangan real x berlaku x + 1 > x โ€™. Dan โˆ€x P(x) bernilai T.


Contoh 2

Dengan domain D = {x | x adalah bilangan real} dan P(x) := 2 > x

Maka โˆ€x P(x) berbunyi sebagai โ€˜Untuk setiap bilangan real x, berlaku 2 > xโ€™.

Jadi โˆ€x P(x) bernilai F.

Bila domainnya adalah D = {x | x adalah bilangan real negatif}, maka โˆ€x P(x) berbunyi sebagai

โ€˜Untuk setiap bilangan real negatif x, berlaku 2 > xโ€™.

Jadi โˆ€x P(x) bernilai T.

Catatan : Bila domain untuk variabel x berhingga, yaitu D = {x1, x2, โ€ฆ โ€ฆ , xn}, maka โˆ€x P(x) sama artinya dengan P(x1) โˆง P(x2) โˆง โ€ฆโ€ฆ โˆง P(xn).


Contoh 3

Misalkan D = {x | x domain untuk variabel x adalah adalah bilangan bulat positif yang lebih kecil dari 5}, dan P(x) : x2< 10

Maka โˆ€x P(x) sama artinya dengan P(1) โˆง P(2) โˆง P(3) โˆง P(4),

P(1) := 12 < 10 bernilai T, P(2) := 22 < 10 bernilai T,

P(3) := 32 < 10 bernilai T, P(4) := 42 < 10 bernilai F,

maka โˆ€x P(x) bernilai F.


Contoh 4

Misalkan P(x) := x > 3 dengan domain D = {x | x adalah bilangan real},

maka โˆƒx P(x) berbunyi โ€˜ Terdapat bilangan real x sehingga x > 3 โ€™.

Karena P(4) bernilai T, maka โˆƒx P(x) bernilai T.


Contoh 5

Misalkan P(x) := x = x + 1 dengan domain D = {x | x = bilangan real},

Maka โˆƒx P(x) berbunyi โ€˜ Terdapat bilangan real x sehingga x = x + 1 โ€™.

Karena x = x + 1 bernilai F untuk setiap bilangan real x, maka โˆƒx P(x) bernilai F.

Catatan: Bila domain untuk variabel x berhingga, yaitu D = {x1, x2, โ€ฆ โ€ฆ , xn}, maka โˆƒx P(x) sama artinya dengan P(x1) โˆจ P(x2) โˆจ โ€ฆโ€ฆ โˆจ P(xn)


Contoh 6

Misalkan domain untuk variabel x adalah D = {x | x adalah bilangan bulat positif yang lebih kecil dari 5}, dan P(x) := x2< 10

Maka โˆƒx P(x) sama artinya dengan P(1) โˆจ P(2) โˆจ P(3) โˆจ P(4)

Karena P(1) := 12 < 10 bernilai T, maka โˆƒx P(x) bernilai T.


Contoh 7

Nyatakan proposisi berikut sebagai predikat: โ€˜Setiap mahasiswa dalam kelas ini mengambil mata kuliah Matematika Diskretโ€™.

Jawaban:
Pertama-tama tentukan dahulu variabel-variabel yang dibutuhkan beserta domainnya, kemudian tentukan predikat dalam variabel-variabel tersebut, dan terakhir berikan kuatifikasi yang sesuai.

(a) Ambil x sebagai variabel, dan domain

D = {x: x adalah mahasiswa dalam kelas ini}

P(x) := x mengambil mata kuliah Matematika Diskret

Maka kalimat di atas dapat dinyatakan dalam bentuk โˆ€x P(x).

Atau

(b) Ambil

D = {x : x adalah mahasiswa}

Q(x) := x berada dalam kelas ini

P(x) := x mengambil mata kuliah Matematika Diskret

Maka kalimat di atas dapat dinyatakan โˆ€x (Q(x) โ†’ P(x)).


Materi Lengkap

Silakan baca juga beberapa artikel menarik kami tentang Matematika Diskrit – Logika, daftar lengkapnya adalah sebagai berikut.


Tonton juga video pilihan dari kami berikut ini

Bagikan ke teman-teman Anda

Contact Us

How to whitelist website on AdBlocker?

How to whitelist website on AdBlocker?

  1. 1 Click on the AdBlock Plus icon on the top right corner of your browser
  2. 2 Click on "Enabled on this site" from the AdBlock Plus option
  3. 3 Refresh the page and start browsing the site
error: Content is protected !!