...

Kuantor Bersarang - FMIPA Personal Blogs

by user

on
Category: Documents
0

views

Report

Comments

Transcript

Kuantor Bersarang - FMIPA Personal Blogs
MA2111 PENGANTAR MATEMATIKA
Semester I, Tahun 2015/2016
Hendra Gunawan
8
KUANTOR V: KUANTOR MAJEMUK
(KUANTOR BERSARANG)
(c) Hendra Gunawan (2015)
2
Pernyataan Berkuantor Majemuk
Pada bab-bab sebelumnya kita telah
membahas pernyataan berkuantor
eksistensial dan universal, tetapi tidak
keduanya sekaligus. Pada bab ini, kita akan
mempelajari pernyataan berkuantor
majemuk, yakni pernyataan yang
mengandung dua atau lebih kuantor.
(c) Hendra Gunawan (2015)
3
Contoh Pernyataan
Berkuantor Majemuk
1. Untuk setiap bilangan real x dengan 0 ≤ x ≤ 1,
terdapat bilangan real y dengan -1 ≤ y ≤ 1
sedemikian sehingga x + y2 = 1.
2. Terdapat bilangan real M > 0 sedemikian
sehingga untuk setiap x ϵ S berlaku x < M.
3. Untuk setiap bilangan real ε > 0 terdapat
bilangan real δ > 0 sedemikian sehingga
untuk setiap bilangan real x dgn|x – 1| < δ
berlaku |x2 – 1| < ε.
(c) Hendra Gunawan (2015)
4
Anatomi Pernyataan
Pada pernyataan
“Untuk setiap bilangan real x dengan 0 ≤ x ≤ 1,
terdapat bilangan real y dengan -1 ≤ y ≤ 1
sedemikian sehingga x + y2 = 1”
kita berurusan dengan
Objek
: bilangan real x
Sifat tertentu
:0≤x≤1
Sesuatu berlaku : terdapat bilangan real y dengan
-1 ≤ y ≤ 1 sedemikian sehingga
x + y2 = 1
(c) Hendra Gunawan (2015)
5
Pada “Sesuatu yang Berlaku”, yakni
“terdapat bilangan real y dengan -1 ≤ y ≤ 1
sedemikian sehingga x + y2 = 1”
kita berurusan dengan
Objek
: bilangan real y
Sifat tertentu : - 1 ≤ y ≤ 1
Sesuatu berlaku : x + y2 = 1
(c) Hendra Gunawan (2015)
6
Teorema Terakhir Fermat
Untuk setiap bilangan asli n ≥ 3, tidak ada
bilangan asli a, b, dan c yang memenuhi
persamaan an + bn = cn.
SETARA DENGAN
Untuk setiap bilangan asli n ≥ 3, untuk setiap
bilangan asli a, b, dan c, berlaku an + bn ≠ cn.
(c) Hendra Gunawan (2015)
7
Mana yang Benar?
Untuk setiap bilangan real x terdapat bilangan
asli n sedemikian sehingga x < n.
ATAU
Terdapat bilangan asli n sedemikian sehingga
untuk setiap bilangan real x berlaku x < n.
(c) Hendra Gunawan (2015)
8
Apa Bedanya?
Untuk setiap bilangan real M terdapat x ϵ S
sedemikian sehingga x < M.
DENGAN
Terdapat bilangan real M sedemikian sehingga
untuk setiap x ϵ S berlaku x < M.
(c) Hendra Gunawan (2015)
9
Contoh 1
Buktikan bahwa fungsi f(x) = x3 + 3x2 + 3x
bersifat onto, yakni: untuk setiap bilangan
real y terdapat bilangan real x sedemikian
sehingga f(x) = y.
Bukti. Perhatikan bahwa f(x) = (x + 1)3 – 1.
Ambil y ϵ R sembarang. Kita harus menemukan x ϵ R sedemikian sehingga f(x) =
(x + 1)3 – 1 = y. Ini tidak terlalu sulit, pilih
saja x = (y + 1)⅓ – 1; maka f(x) = y. [QED]
(c) Hendra Gunawan (2015)
10
Contoh 2
Buktikan bhw himpunan S = {1, 3/2, 5/3, 7/4, …}
terbatas di atas, yakni terdapat bilangan real b
sedemikian sehingga untuk setiap x ϵ S berlaku
x ≤ b.
(c) Hendra Gunawan (2015)
11
SOAL
1. Diketahui dua pernyataan:
P1 : Untuk setiap objek O1 dengan sifat S1
terdapat objek O2 dengan sifat S2 sedemikian
sehingga X berlaku.
P2 : Terdapat objek O1 dengan sifat S1
sedemikian sehingga untuk setiap objek O2
dengan sifat S2, kondisi X berlaku.
Berikan contoh objek O1 dan O2, sifat S1 dan
S2, serta kondisi X, sedemikian sehingga
(a) P1 benar dan P2 salah.
(b) P1 salah dan P2 benar.
(c) Hendra Gunawan (2015)
12
SOAL
2. Buktikan bahwa untuk setiap bilangan real y
> 2 terdapat bilangan real x < 0 sedemikian
sehingga y = 2x/(1+x).
3. Buktikan bahwa f(x) = x2/(x2+1) merupakan
fungsi terbatas (pada R).
(c) Hendra Gunawan (2015)
13
Fly UP