pernyataan berkuantor - universitas brawijaya · tulis ulang pernyataan di bawah ini dengan model...

18
Pernyataan Berkuantor Agi Putra Kharisma, S.T., M.T. Ganjil 2016/2017 1

Upload: others

Post on 29-Jan-2020

10 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Pernyataan Berkuantor - Universitas Brawijaya · Tulis ulang pernyataan di bawah ini dengan model informal. a) ∃m ∈M dimana K(m, Sate Bunul H. Paino) ... ∃bilangan riil r dimana

Pernyataan Berkuantor

Agi Putra Kharisma, S.T., M.T.

Ganjil 2016/2017

1

Page 2: Pernyataan Berkuantor - Universitas Brawijaya · Tulis ulang pernyataan di bawah ini dengan model informal. a) ∃m ∈M dimana K(m, Sate Bunul H. Paino) ... ∃bilangan riil r dimana

Jenis Pernyataan Berkuantor

Kuantor Universal

Kuantor Eksistensial

2

Page 3: Pernyataan Berkuantor - Universitas Brawijaya · Tulis ulang pernyataan di bawah ini dengan model informal. a) ∃m ∈M dimana K(m, Sate Bunul H. Paino) ... ∃bilangan riil r dimana

Contoh Kuantor Universal

Semua mahasiswa UB memiliki NIM.

Semua kendaraan bermesin diesel menggunakan bahan bakar solar.

Semua negara memiliki bendera.

3

Page 4: Pernyataan Berkuantor - Universitas Brawijaya · Tulis ulang pernyataan di bawah ini dengan model informal. a) ∃m ∈M dimana K(m, Sate Bunul H. Paino) ... ∃bilangan riil r dimana

Contoh Kuantor Eksistensial

Ada bilangan bulat dimana hasil kuadratnya sama dengan bilangan itu sendiri.

Ada hewan hidup di dalam tanah.

Ada WNI tidak memiliki KTP.

4

Page 5: Pernyataan Berkuantor - Universitas Brawijaya · Tulis ulang pernyataan di bawah ini dengan model informal. a) ∃m ∈M dimana K(m, Sate Bunul H. Paino) ... ∃bilangan riil r dimana

Contoh Kuantor Universal Dalam Model Formal

Proposisi “Semua mahasiswa UB memiliki NIM” dapat dinyatakan dengan:

Misal:

U adalah himpunan mahasiswa ub

q(x) menyatakan x memiliki NIM

Maka model matematika-nya adalah:

∀x ∈ U, q(x)5

Page 6: Pernyataan Berkuantor - Universitas Brawijaya · Tulis ulang pernyataan di bawah ini dengan model informal. a) ∃m ∈M dimana K(m, Sate Bunul H. Paino) ... ∃bilangan riil r dimana

Contoh Kuantor Eksistensial Dalam Model Formal

Proposisi “Ada bilangan bulat dimana hasil kuadratnya sama dengan bilangan itu sendiri.

” dapat dinyatakan dengan:

Misal:

Z adalah himpunan bilangan bulat

Maka model matematika-nya adalah:

∃x ∈ Z, x2 = x6

Page 7: Pernyataan Berkuantor - Universitas Brawijaya · Tulis ulang pernyataan di bawah ini dengan model informal. a) ∃m ∈M dimana K(m, Sate Bunul H. Paino) ... ∃bilangan riil r dimana

Dunia Tarski

Misal:

S(x) menyatakan x adalah segitiga

B(x) menyatakan x berwarna biru

Periksa nilai kebenaran proposisi berikut:

1. ∀x, S(x) → B(x)

2. ∀x, B(x) → S(x)

7

Page 8: Pernyataan Berkuantor - Universitas Brawijaya · Tulis ulang pernyataan di bawah ini dengan model informal. a) ∃m ∈M dimana K(m, Sate Bunul H. Paino) ... ∃bilangan riil r dimana

Notasi Formal

8

Page 9: Pernyataan Berkuantor - Universitas Brawijaya · Tulis ulang pernyataan di bawah ini dengan model informal. a) ∃m ∈M dimana K(m, Sate Bunul H. Paino) ... ∃bilangan riil r dimana

Negasi

Negasi kuantor universal adalah kuantor eksistensial

Negasi kuantor eksistensial adalah kuantor universal

9

Page 10: Pernyataan Berkuantor - Universitas Brawijaya · Tulis ulang pernyataan di bawah ini dengan model informal. a) ∃m ∈M dimana K(m, Sate Bunul H. Paino) ... ∃bilangan riil r dimana

Negasi Kuantor Universal

10

Page 11: Pernyataan Berkuantor - Universitas Brawijaya · Tulis ulang pernyataan di bawah ini dengan model informal. a) ∃m ∈M dimana K(m, Sate Bunul H. Paino) ... ∃bilangan riil r dimana

Negasi Kuantor Eksistensial

11

Page 12: Pernyataan Berkuantor - Universitas Brawijaya · Tulis ulang pernyataan di bawah ini dengan model informal. a) ∃m ∈M dimana K(m, Sate Bunul H. Paino) ... ∃bilangan riil r dimana

Contoh negasi (1)

Negasi proposisi:

“Semua mahasiswa UB memiliki NIM”

adalah:

“Ada mahasiswa UB tidak memiliki NIM”

12

Page 13: Pernyataan Berkuantor - Universitas Brawijaya · Tulis ulang pernyataan di bawah ini dengan model informal. a) ∃m ∈M dimana K(m, Sate Bunul H. Paino) ... ∃bilangan riil r dimana

Contoh negasi (2)

Negasi proposisi:

“Ada hewan hidup di dalam tanah”

adalah:

“Semua hewan tidak hidup di dalam tanah”

13

Page 14: Pernyataan Berkuantor - Universitas Brawijaya · Tulis ulang pernyataan di bawah ini dengan model informal. a) ∃m ∈M dimana K(m, Sate Bunul H. Paino) ... ∃bilangan riil r dimana

Latihan (1)

Misal M adalah himpunan mahasiswa FILKOM UB, R adalah himpunan tempat makan di kota Malang, K(m,r) menyatakan “mahasiswa m pernah makan di r”. Tulis ulang pernyataan di bawah ini dengan model informal.

a) ∃m ∈ M dimana K(m, Sate Bunul H. Paino)

b) ∀m ∈ M, K(m, Kantin FILKOM)

c) ∀m ∈ M, ∃r ∈ R dimana K(m,r)

d) ∃r ∈ R dimana ∀m ∈ M, K(m,r)

e) ∃m ∈ M, ∃n ∈ M, dan ∃r ∈ R dimana m ≠ n dan K(m,r) ∧K(n,r)

f) ∃m ∈ M, ∃n ∈ M dimana m ≠ n dan ∀ r ∈ R, K(m,r)

K(n,r)14

Page 15: Pernyataan Berkuantor - Universitas Brawijaya · Tulis ulang pernyataan di bawah ini dengan model informal. a) ∃m ∈M dimana K(m, Sate Bunul H. Paino) ... ∃bilangan riil r dimana

Latihan (2)

Misal D = { -48, -14, -8, 0, 1, 3, 16, 23, 26, 32, 36}. Tentukan nilai kebenaran pernyataan berikut. Jika bernilai FALSE, maka sebutkan counterexamples-nya.

a) ∀x ∈ D, jika x ganjil maka x > 0

b) ∀x ∈ D, jika x < 0 maka x genap

c) ∀x ∈ D, jika x genap maka x < 0

d) ∀x ∈ D, jika digit satuan x adalah 2, maka digit

puluhannya adalah 3 atau 4.

e) ∀x ∈ D, jika digit satuan x adalah 6, maka digit

puluhannya 1 atau 2.

15

Page 16: Pernyataan Berkuantor - Universitas Brawijaya · Tulis ulang pernyataan di bawah ini dengan model informal. a) ∃m ∈M dimana K(m, Sate Bunul H. Paino) ... ∃bilangan riil r dimana

Latihan (3)

Tentukan nilai kebenarannya.

a) ∀ bilangan riil x, ∃ bilangan riil y dimana x + y = 0

b) ∃ bilangan riil y dimana ∀ bilangan riil x, x+ y = 0

c) ∀ bilangan riil bukan nol r, ∃ bilangan riil s dimana

rs = 1

d) ∃ bilangan riil r dimana ∀ bilangan riil bukan nol s,

rs = 1

e) ∃ bilangan riil r dimana ∀ bilangan riil s, rs = 0

16

Page 17: Pernyataan Berkuantor - Universitas Brawijaya · Tulis ulang pernyataan di bawah ini dengan model informal. a) ∃m ∈M dimana K(m, Sate Bunul H. Paino) ... ∃bilangan riil r dimana

Latihan (4)

Nyatakan negasi pernyataan berikut ini.

a) ∀x ∃y ∀z T(x,y,z)

b) ∀x ∃y P(x,y) ∨ ∀x ∃y Q(x,y)

c) ∀x ∃y (P(x,y) ∧ ∃z R(x,y,z))

d) ∀x ∃y (P(x,y) → Q(x,y))

17

Page 18: Pernyataan Berkuantor - Universitas Brawijaya · Tulis ulang pernyataan di bawah ini dengan model informal. a) ∃m ∈M dimana K(m, Sate Bunul H. Paino) ... ∃bilangan riil r dimana

Jawaban (4)

a) ∃x∀y∃z ¬T(x, y, z)

b) ∃x∀y ¬P(x, y) ∧ ∃x∀y ¬ Q(x, y)

c) ∃x∀y (¬P(x,y) ∨ ∀z ¬R(x,y,z))

d) ∃x∀y (P(x,y) ∧ ¬Q(x,y))

18