Referensi:
Lay, S. R., 2005, Analysis with Introduction to Proof, Prentice-Hall, Inc., New
York.
Susanna S. Epp, 2011, Discrete Mathematics: An Introduction to Mathematical
Reasoning, Brooks/Cole Cengage Learning, Boston.
1. Kuantor Umum dan Kuantor Khusus
Fungsi pernyataan adalah suatu kalimat terbuka dalam semesta
pembicaraannya.
Notasi : p(x) yang bersifat p(a) bernilai benar atau salah (tidak kedua-
duanya) untuk setiap nilai a.
(d) x y z x2 + y2 2z2.
Pernyataan bernilai benar, karena Untuk x = 2 dan y = 3, dapat diambil
Untuk x = 1 dan y = 1, dapat diambil z = 3.
z = 1, 2, 3. Untuk x = 3 dan y = 1, dapat diambil
Untuk x = 1 dan y = 2, dapat diambil z = 3.
z = 2, 3. Untuk x = 3 dan y = 2, dapat diambil
Untuk x = 1 dan y = 3, dapat diambil z = 3.
z = 3. Untuk x = 3 dan y = 3, dapat diambil
Untuk x = 2 dan y = 1, dapat diambil z = 3.
z = 2, 3.
Untuk x = 2 dan y = 2, dapat diambil
z = 2, 3.
MMT 112 Dasar-dasar Matematika 16
Negasi dari pernyataan kuantor jamak
[x D y E p(x,y)] x D y E, p(x,y).
[x D y E, p(x,y)] x D y E p(x,y).
6. Berikut ini mana yang paling baik menyatakan f sebagai fungsi konstan,
dengan x dan y adalah bilangan real.
a. x y, f(x) y. b. x y f(x) y.
c. y x, f(x) y. d. y x f(x) y.
MMT 112 Dasar-dasar Matematika 21
7. Tentukan nilai kebenaran dari setiap pernyataan berikut, asumsikan x
adalah bilangan real.
a. x [2, 4] x 7. e. x x2 3.
b. x [2, 4], x 7. f. x, x2 3.
c. x x2 5. g. x x/x 1.
d. x, x2 5. h. x, x/x 1.
8. Tunjukkan atau berikan contoh penyangkal.
a. Terdapat bilangan positif berbeda sedemikian sehingga 𝑎 + 𝑏 =
𝑎 + 𝑏 − 2.
b. Terdapat bilangan bulat genap yang dapat ditulis sebagai
penjumlahan dua bilangan prima.
c. Terdapat bilangan asli a, b, dan c sedemikian sehingga 𝑎2 = 𝑏 2 + 𝑐 2 .
d. Untuk setiap bilangan rasional r dan setiap bilangan irrasional s
berlaku r/s adalah irrasional.
MMT 112 Dasar-dasar Matematika 22
8. Tunjukkan atau berikan contoh penyangkal.
e. Terdapat bilangan bulat yang kubiknya sama dengan kuadratnya.
f. Terdapat bilangan real x dan y sedemikian sehingga (x + y)2 = x2 + y2.
g. Terdapat bilangan real x sedemikian sehingga x3 < x < x2.