Logika - Kuantifikasi
Logika - Kuantifikasi
2013
KUANTIFIKASI
Nur Insani, M.Sc
2013
Pada validitas :
Banyak
2013
(pr)
(kon)
2013
Puppy
Seekor kucing
- Subyek
- Predikat
2013
2013
Bila :
Pussy disimbolkan dengan . P
Seekor kucing disimbolkan dengan K
Hewan menyusui disimbolkan dengan H
Bila :
Predikat disimbolkan dengan huruf besar
Subyek disimbolkan dengan huruf kecil
Maka :
Pussy adalah seekor kucing
= Kp
Pussy adalah hewan menyusui
= Hp
6
2013
Contoh lain :
Yusuf
Ali
Umar
Manusia
Yusuf
=y
=a
=u
=M
adalah manusia
Ali adalah manusia
Umar adalah manusia
My
Ma
Mu
Lambang
Mx
umumnya
2013
2013
umum.
Kalimat umum adalah generalisasi.
Ciri dari kalimat yang general adalah
menggunakan kata : semua, untuk setiap
Kalimat general disebut dengan Kuantor.
Kuantor
Umum / Universal
Kuantor Khusus / Eksistensial
9
2013
Ada
tor
Ek
si s
en
manusia yang fana
si a
l
Paling sedikit ada satu manusia yang fana
t
10
2013
Pendahuluan
Dumbo adalah seekor gajah.
dapat ditulis : G(d)
Notasi diatas dibaca : gajah Dumbo.
Disebut fungsi proposional.
Badu seorang mahasiswa.
dapat ditulis : M(b)
Perlu diingat: predikat ditulis dengan huruf
besar, variabel atau konstanta atau objek
ditulis huruf kecil.
Nur Insani - nurinsani@uny.ac.id
2013
2013
Kuantor Universal
Definisi:
Jika A suatu ekspresi logika dan x adalah
variabel, maka jika ingin menentukan bahwa
A adalah bernilai benar untuk semua nilai
yang dimungkinkan untuk x akan ditulis
(x)A. Disini x disebut kuantor universal,
dengan A adalah scope dari kuantor.
Variabel x disebut terikat (bound) dengan
kuantor. Simbol menggantikan kata untuk
semua.
Nur Insani - nurinsani@uny.ac.id
2013
2013
Notasi Kuantor
Contoh
Semua
x), Fx
Untuk
2013
2013
2013
2013
2013
10
2013
Contoh:
1. Semua tanaman hijau membutuhkan air untuk
tumbuh .
Jika x adalah tanaman hijau, maka x membutuhkan
air untuk tumbuh
Tanaman hijau(x) membutuhkan air untuk
tumbuh(x)
(x) (Tanaman hijau(x) membutuhkan air untuk
tumbuh(x))
(x)(T(x) A(x))
Nur Insani - nurinsani@uny.ac.id
11
2013
12
2013
Kuantor Eksistensial
Definisi:
Jika A suatu ekspresi logika dan x adalah
variabel, maka jika ingin menentukan bahwa
A adalah bernilai benar untuk untuk
sekurang-kurangnya satu dari x, maka akan
ditulis (x)A. Disini x disebut kuantor
eksistensial, dengan A adalah scope dari
kuantor. Variabel x disebut terikat (bound)
dengan kuantor. Simbol menggantikan
kata ada, beberapa atau tidak semua.
Nur Insani - nurinsani@uny.ac.id
13
2013
14
2013
Contoh
Ada
x), Fx
12
2013
15
2013
16
2013
17
2013
Contoh:
1. Beberapa orang rajin beribadah.
Ada x yang adalah orang, dan x rajin beribadah
(x)(Orang(x) rajin beribadah(x))
(x)(O(x) I(x))
18
2013
19
2013
20
2013
21
2013
22
2013
23
2013
Misalkan :
p : semua bilangan bulat adalah positif
(x)(B(x)P(x))
~p : ada bilangan bulat yang tidak positif
(x)(B(x) ~P(x))
24
2013
25
2013
Misalkan :
p : Ada bilangan prima adalah bilangan
genap
(x)(P(x) G(x))
26