COUNTER EXAMPLE & KUANTOR DUA-VARIABEL ATAU LEBIH Tujuan • Mahasiswa akan dapat memberikan contoh-contoh kuantor dua variabel dan negasinya. Cakupan • • • • Counter Example Kuantor dua variabel Negasi kuantor dua variabel atau lebih Tabel Kebenaran Kuantor Dua Variabel Counter Example • Banyak teorema dalam matematika, khususnya teori bilangan, dimulai dengan “Untuk setiap n bilangan bulat, berlaku ..... “. • Untuk membuktikan bahwa suatu kuantor universal adalah BENAR, biasanya digunakan metode induksi lengkap. Yakni: buktikan benar untuk n=1; anggap benar untuk n=k; dan akhirnya buktikan benar untuk n=k+1. • Untuk membuktikan bahwa suatu kuantor universal adalah SALAH, cukup diberikan sebuah contoh yang menyangkal pernyataan tersebut. Contoh penyangkalan ini disebut counter example. Contoh Contoh: Benarkah pernyataan berikut: • Untuk setiap n bilangan bulat, berlaku n2>n ? • Untuk setiap n bilangan bulat, berlaku k n 1 k (k 1) n 1 Kuantor Dua Variabel atau lebih • Kerap kali ditemukan suatu pernyataan berkuantor yang melibatkan beberapa variabel. • Contoh: • xy, x+y=y+x identik dengan yx, x+y=y+x • xy, xy=yx identik dengan yx, xy=yx • xyz, x+(y+z)=(x+y)+z • xy bilangan bulat, x+y=6, identik dengan yx bilangan bulat, x+y=6 Hati-hati • Pertukaran letak kuantor tidak selalu identik. • Soal: Benarkah yang berikut, apakah identik? • xy bilangan bulat, x+y=17 • yx bilangan bulat, x+y=17 Contoh 1. 2. 3. 4. 5. Misalkan himpunan semesta adalah {1,2,3}. Periksa kebenaran setiap pernyataan berikut: x y, x2 < y + 1 x y, x2 + y2 < 12 x y, x2 + y2 < 12 x y z, x2 + y2 < 2z2 x y z, x2 + y2 < 2z2 Negasi Kuantor Carilah negasi dari: 1. > 0, n0 n (n > n0 an < ) 2. x y [(p(x,y) q(x,y))r(x,y)] 3. >0 >0 x [(0 < x – a <) (f(x) – L < )] Tabel Kebenaran Kuantor 2 Var Pernyataan Bilamana benar? Bilamana salah? xy P(x,y) P(x,y) benar untuk setiap pasang x,y Ada sepasang x,y yang menyebabkan P(x,y) salah xy P(x,y) Untuk setiap x ada y sehingga P(x,y) benar Ada x sehingga P(x,y) benar untuk setiap y Ada sepasang x,y sehingga P(x,y) benar Ada x sedemikian sehingga P(x,y) salah untuk setiap y Untuk setiap x ada y sehingga P(x,y) salah xy P(x,y) xy P(x,y) yx P(x,y) P(x,y) salah untuk setiap pasang x,y Penutup • Counter Example: contoh penyangkalan kuantor universal • Urutan kuantor dua variabel atau lebih pada beberapa hal tidak dapat ditukar • Negasi kuantor dua variabel atau lebih dilakukan satu per satu • Ingat Tabel Kebenaran Kuantor Dua Variabel