๐ 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
- Jika P(x):= x > 3 dengan himpunan bilangan bulat sebagai domain D, maka P(4) bernilai T dan P(2) bernilai F.
- Jika Q(x, y):= x = y + 3 dengan domain R x R, maka Q(1, 2) bernilai F dan Q(3,0) bernilai T.
- 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.
- 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:
- Kuantifikasi universal (universal quantification)
- 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.