Kelompok 8

Dea tiara(4020010)
Natasya Rahmadanti(4020028)
 Kuantor dan Teori Kuantifikasi
1. Term dan Variabel
 Variabel/peubah adalah pemegang tempat sementara dalam suatu
ungkapan,untuk kemudian diganti dengan niai yang pasti
 Variabel ditulis dengan huruf kecil : x,y, atau p,q,r
 Kumpulan variabel membentu suatu term :
x +y
2. Predikat
 Pandang kalimat : Semua mahasiswa Udinus adalah lulusan SMA
 Untuk setiap x,jika x mahasiswa Udinus maka x lulusan SMA
 Ada dua predikat untuk x : x Mahasiswa Udinus dan x lulusan SMA
 Predikat ditulis dengan huruf besar
 Mx : x Mahasiswa Udinus Lx : x Lulusan SMA
 Kalimat diatas ditulis : Untuk setiap x,Mx → Lx
3. Kuantor
 Kuantor Universal dimana terdapat ungkapan seperti :
- Untuk setiap,untuk tiap-tiap,untuk semua
 Kuantor Ekstensial dimana terdapat ungkapan seperti :
- Terdapat,ada,sekurang-kurangnya ada satu

Kuantor Universal
 Ditulis dengan lambang ∀
 Pandang kalimat : Semua orang Indonesia adala orang Asia
 Diterjemahkan menjadi : Untuk semua x,Jika Lx maka Ax
Lx : x Orang Indonesia
Ax : x Orang Asia
 Dalam kalimat logika ditulis : (∀x) [Lx →Ax]
 Bentuk ini disebut Afirmatif umum

 Pandang Kalimat : Semua orang Indonesia bukan orang Eskimo

 Ditulis (∀x) [Lx → ～ Ax]
 Bentuk ini disebut Negatif umum
Kuantor Ekstensial
 Ditulis dengan lambang Ǝ
 Pandang kalimat : Ada orang Indonesia yang makan nasi
 Diterjemahkan menjadi :
Ada x yang memenuhi sifat : x orang Indonesia dan x makan
nasi
Ada x sehingga x orang Indonesia dan x makan nasi
Lx : x orang Indonesia
Nx : x makan nasi
 Dalam kalimat logika ditulis : (Ǝx) [Lx ∧ Nx]
 Bentuk ini disebut Afirmatif khusus

 Pandang kalimat :
Ada x sehingga jika x orang Indonesia maka xmakan nasi
 Ditulis : (∀x) [Lx → Nx]
 Pandang kalimat :
Beberapa ikan paus tida termasuk hewan menyusui
 Diterjemakan : Ada paling sedikit satu x,sehingga jika x ikan paus
maka x bukan hewan menyusui
 Ditulis (Ǝx) [Hx → ～ Mx]
 Bentuk ini disebut Negatif khusus

Variabel terikat dan variabel bebas

 Sebuah variabel dalam suatu formula dikatakan variabel terikat jika
dan hanya jika muncul dalam cakupan kuantor yang mengandung
variabel tersebut :
(∀x) [Mx ∧ Nx]
 Variabel bebas tidak mempunyai kuantor
(∀x) [x > y] y variabel bebas
 Dalam Kalimat : (∀x) [Mx] ∧ Px
X yang pertama variabel terikat sedangkan x yang variabel bebas
Urutan Kuantor(The Order of Quantifier)
 Banyak pernyataan dalam matematika yang terdiri dari
banyak kuantifikasi dari fungsi proposisi yang terdiri dari
lebih dari satu variabel
Contoh 1 :
Misakan Pxy : x + y = y + x
Apakah nilai kebenaran dari kuantitikasi (∀x)((∀y) Pxy?
Jawab :
(∀x)(∀y) Pxy artinya untuk semua bilangan nyata x dan
untuk semua bilangan nyata y berlaku x + y = y + x . Pxy
benar untuk setiap x dan y .
Jadi, ∀x∀y Pxy benar
Contoh 2:
Misalkan Qxy : x +y = 0
Apakah niai kebenaran dari kuantifikasi
a) . (∀x)(Ǝy) Qxy ?
b) . (Ǝx)(∀y) Qxy ?
Jawab :
a) . (∀x)(Ǝy) Qxy artinya : untuk semua bilangan nyata x ada
suatu bilangan nyata y sehingga
x + y = 0 . Misalkan kita mengambil sembarang nilai x,maka
selalu ada (y = -x) sehingga (∀x)(Ǝy) Qxy benar
b) . (Ǝx)(∀y) Qxy artinya : ada suatu bilangan nyata x sehingga
untuk semua bilangan nyata y berlaku x + y = 0,padahal hanya
y = -x saja yang memenuhi x + y = 0 . Jadi, (Ǝx)( ∀y) Qxy
salah .
Contoh 2 memperlihatkan bahwa keduanya tidak ekivalen logis