logika - kuantifikasi

37
KUANTIFIKASI Nur Insani, M.Sc Logika & Himpunan 2013 Nur Insani - nurinsani@uny.ac.id Universitas Negeri Yogyakarta

Upload: rahmad08987

Post on 19-Feb-2018

224 views

Category:

Documents


0 download

TRANSCRIPT

7/23/2019 LOGIKA - KUANTIFIKASI

http://slidepdf.com/reader/full/logika-kuantifikasi 1/37

KUANTIFIKASI

Nur Insani, M.Sc

Logika & Himpunan 2013

Nur Insani - [email protected] Universitas Negeri Yogyakarta

7/23/2019 LOGIKA - KUANTIFIKASI

http://slidepdf.com/reader/full/logika-kuantifikasi 2/37

Pada validitas :Banyak a rgumen va l i d , n am

validitasnya tak dapat diuji deng

a l a t u j i v a l i d i t a s y a n g a d

Logika & Himpunan

7/23/2019 LOGIKA - KUANTIFIKASI

http://slidepdf.com/reader/full/logika-kuantifikasi 3/37

Bagaimana Validitas Argumen

Semua kucing adalah hewan menyusu

Pussy adalah seekor kucing   Jadi, Pussy adalah hewan menyusui

Validitas argumen tersebut tergantu pada tafsiran pernyataan tunggalnya

Apakah Pussy nama seekor kucing ?

Logika & Himpunan

7/23/2019 LOGIKA - KUANTIFIKASI

http://slidepdf.com/reader/full/logika-kuantifikasi 4/37

Cara lain adalah validitas yang dida

pada hubungan kalimat (kaitan s u b y e k d a n p r e d i k Contoh :

Puppy adalah seekor kucing Puppy - Subyek

Seekor kucing - Predikat

Hubungan antara subyek dan predikmemberikan tafsiran terhadap

i d k k l i

Logika & Himpunan

7/23/2019 LOGIKA - KUANTIFIKASI

http://slidepdf.com/reader/full/logika-kuantifikasi 5/37

Untuk memudahkan analisis, dibuat

kalimat tunggal yang memuat koms u b y e k - p r e d i k

Pussy adalah seekor kucing

Pussy adalah hewan menyusui

S   P

PS

Logika & Himpunan

7/23/2019 LOGIKA - KUANTIFIKASI

http://slidepdf.com/reader/full/logika-kuantifikasi 6/37

Bila :

Pussy disimbolkan dengan ……………….  Seekor kucing disimbolkan dengan…  Hewan menyusui disimbolkan dengan 

Bila : Predikat disimbolkan dengan huruf bSubyek disimbolkan dengan huruf ke

Maka : Pussy adalah seekor kucing

Logika & Himpunan

7/23/2019 LOGIKA - KUANTIFIKASI

http://slidepdf.com/reader/full/logika-kuantifikasi 7/37

Contoh lain : Yusuf = y Ali = a

Umar = u

Manusia = M

Yusuf adalah manusia MyAli adalah manusia MaUmar adalah manusia Mu

Logika & Himpunan

7/23/2019 LOGIKA - KUANTIFIKASI

http://slidepdf.com/reader/full/logika-kuantifikasi 8/37

 My,Ma,Mu adalah merupakan kalimat dekla

 M x B u k a n m e r u p a k a n p e r n y a

 M x d i se b ut s e ba g ai f u ng s i p r op

 Fungsi proposisi Mx akan menjadi pernybila variabel individualnya (x) diganti/disud e n g a n k o n s t a n t a i n d i v i d

 I ns t an t ia s i : adal ah suat u c a ra

Logika & Himpunan

7/23/2019 LOGIKA - KUANTIFIKASI

http://slidepdf.com/reader/full/logika-kuantifikasi 9/37

Mx dikenal juga sebagai kalimat tung

Lawan dari kalimat tunggal adalah kaumum.

Kalimat umum adalah generalisasi.

Ciri dari kalimat yang general adalahmenggunakan kata : semua, untuk set

Kalimat general disebut dengan KuanKuantor Umum / Universal

Logika & Himpunan

7/23/2019 LOGIKA - KUANTIFIKASI

http://slidepdf.com/reader/full/logika-kuantifikasi 10/37

Contoh Kalimat tunggal

Manusia adalah fana = Fm Contoh kalimat general

Semua manusia adalah fana

Untuk setiap manusia, maka manusia adalah fana

Ada manusia yang fana

K   u  a  n

K   u  a  n t  o

Logika & Himpunan

7/23/2019 LOGIKA - KUANTIFIKASI

http://slidepdf.com/reader/full/logika-kuantifikasi 11/372

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.

Logika & Himpunan 2013

Nur Insani - [email protected] Universitas Negeri Yogyakarta

7/23/2019 LOGIKA - KUANTIFIKASI

http://slidepdf.com/reader/full/logika-kuantifikasi 12/373

• Persoalan muncul pada variabel-variabel

yang sering atau kadang-kadang muncul,

atau bersifat umum serta yang tidak bersifat

khusus, seperti “manusia”, “binatang” dsb.Contoh :

1. Semua gajah mempunyai belalai.

2. Beberapa mahasiswa mengambil mata kuliah

logika matematika.3. Setiap mahasiswa harus belajar dari buku teks.

4.  Ada penduduk kota Jayakarta yang terkena Flu

Burung.

Logika & Himpunan 2013

Nur Insani - [email protected] Universitas Negeri Yogyakarta

7/23/2019 LOGIKA - KUANTIFIKASI

http://slidepdf.com/reader/full/logika-kuantifikasi 13/374

Kuantor Universal

Definisi:

Jika A suatu ekspresi logika dan x adalah

variabel, maka jika ingin menentukan bahwa

 A adalah bernilai benar untuk semua nilaiyang dimungkinkan untuk x akan ditulis 

( x)A. Disini x disebut kuantor universal,

dengan A adalah scope dari kuantor.

Variabel x disebut terikat (bound) dengankuantor. Simbol menggantikan kata “untuk

semua”.

∀ ∀

Logika & Himpunan 2013

Nur Insani - [email protected] Universitas Negeri Yogyakarta

7/23/2019 LOGIKA - KUANTIFIKASI

http://slidepdf.com/reader/full/logika-kuantifikasi 14/375

Semua gajah mempunyai belalai.

Dapat ditulis: G(x)→B(x) 

Dibaca: “Jika x adalah gajah, maka x

mempunyai belalai ”

Selanjutnya, ditulis:

( x)(G(x) → B(x))

Dibaca: “Untuk semua x, jika x adalah gajah,

maka x mempunyai belalai ”

Logika & Himpunan 2013

Nur Insani - [email protected] Universitas Negeri Yogyakarta

7/23/2019 LOGIKA - KUANTIFIKASI

http://slidepdf.com/reader/full/logika-kuantifikasi 15/37

Notasi Kuantor Contoh

Semua manusia adalah fanaUntuk setiap obyek, maka obyek itu a

fana

Untuk setiap x maka x adalah fanaUntuk setiap x, Fx

( x), Fx

Untuk setiap x, maka x mempunyai si

     A

Logika & Himpunan

7/23/2019 LOGIKA - KUANTIFIKASI

http://slidepdf.com/reader/full/logika-kuantifikasi 16/376

Simbol adalah kuantor yang menggunakan

kata “semua” atau kata apa saja yang artinya

sama dengan “semua”, misalnya “setiap”.

disebut kuantor universal (universal

quantifier ).

Kuantor universal mengindikasikan bahwa

sesuatu bernilai benar untuk semua individual-

individualnya.

Logika & Himpunan 2013

Nur Insani - [email protected] Universitas Negeri Yogyakarta

7/23/2019 LOGIKA - KUANTIFIKASI

http://slidepdf.com/reader/full/logika-kuantifikasi 17/37

7

Setiap mahasiswa harus belajar dari buku

teks.

Selanjutnya, ditulis:

( x)(M(x) → B(x))

Dibaca: “Untuk semua x, jika x adalah

mahasiswa, maka x harus belajar dari buku

teks ”

Logika & Himpunan 2013

Nur Insani - [email protected] Universitas Negeri Yogyakarta

7/23/2019 LOGIKA - KUANTIFIKASI

http://slidepdf.com/reader/full/logika-kuantifikasi 18/37

8

Setiap bilangan prima adalah ganjil.

Selanjutnya, ditulis:

( x)(P(x) → O(x))

Dimana P mengganti “bilangan prima”,

sedangkan O mengganti ganjil (odd).

Dibaca: “Untuk semua x, jika x adalah

bilangan prima, maka x adalah ganjil”

Logika & Himpunan 2013

Nur Insani - [email protected] Universitas Negeri Yogyakarta

7/23/2019 LOGIKA - KUANTIFIKASI

http://slidepdf.com/reader/full/logika-kuantifikasi 19/37

9

Langkah untuk melakukan

pengkuantoran universal :

• Perhatikan pernyataan berikut ini :

“ Semua mahasiswa harus rajin belajar”

• Untuk melakukan pengkuantoran universal pada

pernyataan tersebut maka dilakukan langkah-langkah seperti berikut :

1. Carilah lingkup (scope) dari kuantor universalnya,

yaitu :“ Jika x adalah mahasiswa, maka x harus rajin

belajar” .

Selanjutnya akan ditulis :

mahasiswa(x) → harus rajin belajar(x) 

Logika & Himpunan 2013

Nur Insani - [email protected] Universitas Negeri Yogyakarta

7/23/2019 LOGIKA - KUANTIFIKASI

http://slidepdf.com/reader/full/logika-kuantifikasi 20/37

10

2. Berilah kuantor universal di depannya

( x)(mahasiswa(x) → harus rajin belajar(x))

3. Ubahlah menjadi suatu fungsi :( x)(M(x) → B(x)) 

Logika & Himpunan 2013

Nur Insani - [email protected] Universitas Negeri Yogyakarta

7/23/2019 LOGIKA - KUANTIFIKASI

http://slidepdf.com/reader/full/logika-kuantifikasi 21/37

11

Contoh:

1. ” Semua tanaman hijau membutuhkan air untuk

tumbuh ” .

• Jika x adalah tanaman hijau, maka x membutuhkanair untuk tumbuh

Tanaman hijau(x) → membutuhkan air untuk

tumbuh(x)

• ( x) (Tanaman hijau(x) → membutuhkan air untuktumbuh(x))

• ( x)(T(x) → A(x))

Logika & Himpunan 2013

Nur Insani - [email protected] Universitas Negeri Yogyakarta

7/23/2019 LOGIKA - KUANTIFIKASI

http://slidepdf.com/reader/full/logika-kuantifikasi 22/37

12

2. ”Semua artis adalah cantik” .

• Jika x adalah artis, maka x cantik,

•  Artis(x) → cantik(x).

• ( x)( Artis(x) → cantik(x))• ( x)(A(x) → C(x))

Logika & Himpunan 2013

Nur Insani - [email protected] Universitas Negeri Yogyakarta

7/23/2019 LOGIKA - KUANTIFIKASI

http://slidepdf.com/reader/full/logika-kuantifikasi 23/37

13

Kuantor Eksistensial

Definisi:

Jika A suatu ekspresi logika dan x adalah

variabel, maka jika ingin menentukan bahwa

 A adalah bernilai benar untuk untuksekurang-kurangnya satu dari x, maka akanditulis (Ǝ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”.

Logika & Himpunan 2013

Nur Insani - [email protected] Universitas Negeri Yogyakarta

7/23/2019 LOGIKA - KUANTIFIKASI

http://slidepdf.com/reader/full/logika-kuantifikasi 24/37

14

 Ada bilangan prima yang genap.

Selanjutnya, ditulis:

(Ǝx)(P(x) Λ E(x))

Dimana P mengganti “bilangan prima”,

sedangkan E mengganti genap (even).

Dibaca: “Ada x, yang x adalah

bilangan prima dan x adalah genap”

Logika & Himpunan 2013

Nur Insani - [email protected] Universitas Negeri Yogyakarta

7/23/2019 LOGIKA - KUANTIFIKASI

http://slidepdf.com/reader/full/logika-kuantifikasi 25/37

Contoh

Ada paling sedikit satu manusia yangAda paling sedikit satu x, sedemikian

sehingga Fx

( x), Fx

Logika & Himpunan

7/23/2019 LOGIKA - KUANTIFIKASI

http://slidepdf.com/reader/full/logika-kuantifikasi 26/37

15

Ǝ adalah kuantor yang menggunakan

kata “ada” atau kata apa saja yang artinya

sama dengan “tidak semua” atau “beberapa”.

Ǝ disebut kuantor universal (universal

existential).

Kuantor universal mengindikasikan bahwa

sesuatu kadang-kadang bernilai benar untuk

individual- invidualnya.

Logika & Himpunan 2013

Nur Insani - [email protected] Universitas Negeri Yogyakarta

7/23/2019 LOGIKA - KUANTIFIKASI

http://slidepdf.com/reader/full/logika-kuantifikasi 27/37

16

Langkah untuk melakukan

pengkuantoran eksistensial :

• Perhatikan pernyataan berikut ini :

“ Ada pelajar yang memperoleh beasiswa

berprestasi ”

• Untuk melakukan pengkuantoran eksistensial pada

pernyataan tersebut maka dilakukan langkah-

langkah seperti berikut :

1. Carilah lingkup (scope) dari kuantor eksistensialnya, yaitu :

“ Ada x yang adalah pelajar, dan x memperoleh

beasiswa berprestasi”.

Selanjutnya akan ditulis :

Pelajar(x) Λ memperoleh beasiswa berprestasi(x)

Logika & Himpunan 2013

Nur Insani - [email protected] Universitas Negeri Yogyakarta

7/23/2019 LOGIKA - KUANTIFIKASI

http://slidepdf.com/reader/full/logika-kuantifikasi 28/37

17

2. Berilah kuantor eksistensial di depannya

(Ǝx) (Pelajar(x) Λ memperoleh beasiswa

berprestasi(x))

3. Ubahlah menjadi suatu fungsi :

(Ǝx)(P(x) Λ B(x))

Logika & Himpunan 2013

Nur Insani - [email protected] Universitas Negeri Yogyakarta

7/23/2019 LOGIKA - KUANTIFIKASI

http://slidepdf.com/reader/full/logika-kuantifikasi 29/37

18

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))

Logika & Himpunan 2013

Nur Insani - [email protected] Universitas Negeri Yogyakarta

7/23/2019 LOGIKA - KUANTIFIKASI

http://slidepdf.com/reader/full/logika-kuantifikasi 30/37

19

2. ” Ada binatang yang t idak mempunyai kaki” .

• “Terdapat x yang adalah binatang, dan x tidak

mempunyai kaki”.

• (Ǝx)(binatang(x) Λ tidak mempunyai kaki(x))

• (Ǝx)(B(x) Λ ¬K(x))

Logika & Himpunan 2013

Nur Insani - [email protected] Universitas Negeri Yogyakarta

7/23/2019 LOGIKA - KUANTIFIKASI

http://slidepdf.com/reader/full/logika-kuantifikasi 31/37

20

Perlu diingat bahwa jangan mengabaikan

tanda kurung untuk fungsi dibelakang

kuantor karena mempengaruhi proses

manipulasinya.

Perhatikan dua contoh di bawah yang

kelihatannya sama tetapi berbeda:

( x)(M(x)→B(x)) 

( x)M(x) → B(x) 

Logika & Himpunan 2013

Nur Insani - [email protected] Universitas Negeri Yogyakarta

7/23/2019 LOGIKA - KUANTIFIKASI

http://slidepdf.com/reader/full/logika-kuantifikasi 32/37

21

Dari berbagai contoh di sebelumnya, dapat

kita simpulkan bahwa : 

• Jika pernyataan memakai kuantor universal ( ),maka digunakan perangkai implikasi (→), yaitu

“Jika semua......maka.....”

• Jika pernyataan memakai kuantor eksistensial(Ǝ), maka digunakan perangkai konjungsi (Λ),

yaitu “Ada...yang...dan....”.

Logika & Himpunan 2013

Nur Insani - [email protected] Universitas Negeri Yogyakarta

7/23/2019 LOGIKA - KUANTIFIKASI

http://slidepdf.com/reader/full/logika-kuantifikasi 33/37

22

Negasi (Ingkaran) Kuantor

• Ingkaran kalimat ”semua x bersifat p(x)”

adalah ”Ada x yang tidak bersifat p(x)”

• Ingkaran kalimat ”Ada x yang bersifat q(x)”

adalah ”Semua x tidak bersifat q(x)”

Logika & Himpunan 2013

Nur Insani - [email protected] Universitas Negeri Yogyakarta

7/23/2019 LOGIKA - KUANTIFIKASI

http://slidepdf.com/reader/full/logika-kuantifikasi 34/37

23

Ingkaran Kuantor Universal

• Ingkaran dari kuantor universal adalah

kuantor ekstensial :

• Ingkaran dari “semua (setiap) ……..”

≡ ada (beberapa) …….yang tidak ……..

P(x)~x)(x)P(x)(~   ∃≡∀

Logika & Himpunan 2013

Nur Insani - [email protected] Universitas Negeri Yogyakarta

7/23/2019 LOGIKA - KUANTIFIKASI

http://slidepdf.com/reader/full/logika-kuantifikasi 35/37

24

Misalkan :

• p : semua bilangan bulat adalah positif

( x)(B(x)→P(x)) 

~p : ada bilangan bulat yang tidak positif(Ǝx)(B(x) Λ ~P(x))

• q : semua bilangan asli adalah positif

( x)(A(x)→P(x)) ~q : beberapa bilangan asli yang tidak positif

(Ǝx)(A(x) Λ ~P(x))

Logika & Himpunan 2013

Nur Insani - [email protected] Universitas Negeri Yogyakarta

7/23/2019 LOGIKA - KUANTIFIKASI

http://slidepdf.com/reader/full/logika-kuantifikasi 36/37

25

Ingkaran Kuantor Eksistensial

• Ingkaran dari kuantor ekstensial adalah

kuantor universal :

• Ingkaran dari “ada (beberapa / terdapat)

………”≡ semua (setiap) ….. tidak …….. 

P(x)~x)(x)P(x)(~   ∀≡∃

Logika & Himpunan 2013

Nur Insani - [email protected] Universitas Negeri Yogyakarta

7/23/2019 LOGIKA - KUANTIFIKASI

http://slidepdf.com/reader/full/logika-kuantifikasi 37/37

26

Misalkan :• p : Ada bilangan prima adalah bilangan

genap

(Ǝx)(P(x) Λ G(x))

~p : semua bilangan prima bukan bilangangenap

( x)(P(x)→~G(x))

• q : Ada wanita yang menyukai sepak bola(Ǝx)(W(x) Λ B(x))

~q : semua wanita tidak menyukai sepak bola

( x)(W(x)→ ~B(x))∀

Logika & Himpunan 2013

Nur Insani - nurinsani@uny ac id Universitas Negeri Yogyakarta