LOGIKA - KUANTIFIKASI.pdf - Staff UNY - Universitas Negeri ...

87 downloads 233 Views 621KB Size Report
menggunakan kata : semua, untuk setiap. ➢ Kalimat general disebut dengan Kuantor. ❖ Kuantor Umum / Universal. ❖ Kuantor Khusus / Eksistensial. Logika &  ...
Logika & Himpunan

2013

KUANTIFIKASI Nur Insani, M.Sc

Nur Insani - [email protected]

Universitas Negeri Yogyakarta

Logika & Himpunan

2013

¾ Pada validitas : ™ Banyak

argumen valid, namun validitasnya tak dapat diuji dengan alat uji validitas yang ada.

2

Nur Insani - [email protected]

Universitas Negeri Yogyakarta

Logika & Himpunan

2013

Bagaimana Validitas Argumen ini ? ¾ Semua kucing adalah hewan menyusui (pr) ¾ Pussy adalah seekor kucing

(pr) (kon)

¾ Jadi, Pussy adalah hewan menyusui

¾ Validitas argumen tersebut tergantung

pada tafsiran pernyataan tunggalnya. ™ Apakah

Pussy nama seekor kucing ?

3

Nur Insani - [email protected]

Universitas Negeri Yogyakarta

Logika & Himpunan

2013

¾ Cara lain adalah validitas yang didasarkan

pada hubungan kalimat (kaitan antara s u b y e k d a n p r e d i k a t ) . ¾ Contoh : ™ Puppy „ „

adalah seekor kucing

Puppy Seekor kucing

- Subyek - Predikat

¾ Hubungan antara subyek dan predikat akan

memberikan tafsiran terhadap benar t i d a k n y a k a l i m a t . 4

Nur Insani - [email protected]

Universitas Negeri Yogyakarta

Logika & Himpunan

2013

¾ Untuk memudahkan analisis, dibuat simbol

kalimat tunggal yang memuat komponen s u b y e k - p r e d i k a t . ¾ Pussy adalah seekor kucing S

P

¾ Pussy adalah hewan menyusui S

P

5

Nur Insani - [email protected]

Universitas Negeri Yogyakarta

Logika & Himpunan

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

Nur Insani - [email protected]

Universitas Negeri Yogyakarta

Logika & Himpunan

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

7

Nur Insani - [email protected]

Universitas Negeri Yogyakarta

Logika & Himpunan

2013

¾ My,Ma,Mu adalah merupakan kalimat deklaratif. ¾ Mx

Bukan merupakan pernyataan.

¾ Mx disebut sebagai fungsi proposisi. ¾ Fungsi proposisi Mx akan menjadi pernyataan

bila variabel individualnya (x) diganti/disubtitusi dengan konstanta individual.

¾ Instantiasi : adalah suatu cara untuk

mensubtitusi variabel individual dengan kontanta i n d i v i d u a l .

8

Nur Insani - [email protected]

Universitas Negeri Yogyakarta

Logika & Himpunan

2013

¾ Mx dikenal juga sebagai kalimat tunggal. ¾ Lawan dari kalimat tunggal adalah kalimat

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

Nur Insani - [email protected]

Universitas Negeri Yogyakarta

Logika & Himpunan

2013

¾ Contoh Kalimat tunggal ™ Manusia adalah fana = Fm Ku ¾ Contoh kalimat general an tor Un ™ Semua manusia adalah fana iv e rsa ™ Untuk setiap manusia, maka manusia itu l adalah fana Ku an

™ Ada

tor

Ek si s

en manusia yang fana si a l ™ Paling sedikit ada satu manusia yang fana t

10

Nur Insani - [email protected]

Universitas Negeri Yogyakarta

Logika & Himpunan

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 - [email protected]

Universitas Negeri Yogyakarta

2

Logika & Himpunan

2013

• 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. Nur Insani - [email protected]

Universitas Negeri Yogyakarta

3

Logika & Himpunan

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 - [email protected]

Universitas Negeri Yogyakarta

4

Logika & Himpunan

2013

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 ” Nur Insani - [email protected]

Universitas Negeri Yogyakarta

5

Logika & Himpunan

2013

Notasi Kuantor ¾ Contoh ™ Semua

manusia adalah fana ™ Untuk setiap obyek, maka obyek itu adalah fana ™ Untuk setiap x maka x adalah fana ™ Untuk setiap x, Fx

A

¾(

x), Fx

™ Untuk

setiap x, maka x mempunyai sifat F ™ Untuk setiap x berlakulah Fx 11

Nur Insani - [email protected]

Universitas Negeri Yogyakarta

Logika & Himpunan

2013

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 individualindividualnya. Nur Insani - [email protected]

Universitas Negeri Yogyakarta

6

Logika & Himpunan

2013

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 ”

Nur Insani - [email protected]

Universitas Negeri Yogyakarta

7

Logika & Himpunan

2013

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”

Nur Insani - [email protected]

Universitas Negeri Yogyakarta

8

Logika & Himpunan

Langkah untuk melakukan pengkuantoran universal :

2013

• Perhatikan pernyataan berikut ini : “Semua mahasiswa harus rajin belajar” • Untuk melakukan pengkuantoran universal pada pernyataan tersebut maka dilakukan langkahlangkah 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) Nur Insani - [email protected]

Universitas Negeri Yogyakarta

9

Logika & Himpunan

2013

2. Berilah kuantor universal di depannya (∀x)(mahasiswa(x) → harus rajin belajar(x)) 3. Ubahlah menjadi suatu fungsi : (∀x)(M(x) → B(x))

Nur Insani - [email protected]

Universitas Negeri Yogyakarta

10

Logika & Himpunan

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 - [email protected]

Universitas Negeri Yogyakarta

11

Logika & Himpunan

2013

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

Nur Insani - [email protected]

Universitas Negeri Yogyakarta

12

Logika & Himpunan

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 - [email protected]

Universitas Negeri Yogyakarta

13

Logika & Himpunan

2013

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”

Nur Insani - [email protected]

Universitas Negeri Yogyakarta

14

Logika & Himpunan

2013

¾ Contoh ™ Ada

paling sedikit satu manusia yang fana ™ Ada paling sedikit satu x, sedemikian sehingga Fx E

¾(

x), Fx

12

Nur Insani - [email protected]

Universitas Negeri Yogyakarta

Logika & Himpunan

2013

Ǝ 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. Nur Insani - [email protected]

Universitas Negeri Yogyakarta

15

Logika & Himpunan

Langkah untuk melakukan pengkuantoran eksistensial :

2013

• Perhatikan pernyataan berikut ini : “Ada pelajar yang memperoleh beasiswa berprestasi ” • Untuk melakukan pengkuantoran eksistensial pada pernyataan tersebut maka dilakukan langkahlangkah 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) Nur Insani - [email protected]

Universitas Negeri Yogyakarta

16

Logika & Himpunan

2013

2. Berilah kuantor eksistensial di depannya (Ǝx) (Pelajar(x) Λ memperoleh beasiswa berprestasi(x)) 3. Ubahlah menjadi suatu fungsi : (Ǝx)(P(x) Λ B(x))

Nur Insani - [email protected]

Universitas Negeri Yogyakarta

17

Logika & Himpunan

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

Nur Insani - [email protected]

Universitas Negeri Yogyakarta

18

Logika & Himpunan

2013

2. ”Ada binatang yang tidak mempunyai kaki”. • “Terdapat x yang adalah binatang, dan x tidak mempunyai kaki”. • (Ǝx)(binatang(x) Λ tidak mempunyai kaki(x)) • (Ǝx)(B(x) Λ ¬K(x))

Nur Insani - [email protected]

Universitas Negeri Yogyakarta

19

Logika & Himpunan

2013

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) Nur Insani - [email protected]

Universitas Negeri Yogyakarta

20

Logika & Himpunan

2013

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....”. Nur Insani - [email protected]

Universitas Negeri Yogyakarta

21

Logika & Himpunan

2013

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

Nur Insani - [email protected]

Universitas Negeri Yogyakarta

22

Logika & Himpunan

2013

Ingkaran Kuantor Universal • Ingkaran dari kuantor universal adalah kuantor ekstensial :

~ (∀x)P(x) ≡ (∃x) ~ P(x) • Ingkaran dari “semua (setiap) ……..” ≡ ada (beberapa) …….yang tidak ……..

Nur Insani - [email protected]

Universitas Negeri Yogyakarta

23

Logika & Himpunan

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

• q : semua bilangan asli adalah positif (∀x)(A(x)→P(x)) ~q : beberapa bilangan asli yang tidak positif (Ǝx)(A(x) Λ ~P(x)) Nur Insani - [email protected]

Universitas Negeri Yogyakarta

24

Logika & Himpunan

2013

Ingkaran Kuantor Eksistensial • Ingkaran dari kuantor ekstensial adalah kuantor universal :

~ (∃x)P(x) ≡ (∀x) ~ P(x) • Ingkaran dari “ada (beberapa / terdapat) ………” ≡ semua (setiap) ….. tidak …….. Nur Insani - [email protected]

Universitas Negeri Yogyakarta

25

Logika & Himpunan

2013

Misalkan : • p : Ada bilangan prima adalah bilangan genap (Ǝx)(P(x) Λ G(x))

~p : semua bilangan prima bukan bilangan genap (∀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)) Nur Insani - [email protected]

Universitas Negeri Yogyakarta

26