Handout – 03

Ekspresi Logika

Beby H. A. Manafe
Elektro - FST
Undana
beby@bowakh.co.cc

Matematika Diskrit(STELK45211)-2016/2017 1 Beby Manafe

 Ekspresi Logika
Mengubah pernyataan menjadi suatu ekspresi logika
Contoh: Ubahlah ke dalam ekspresi logika!
“Anda mempunyai akses internet hanya jika anda mahasiswa
Bidang Minat Telekomunikasi atau anda bukan mahasiswa
tahun pertama”
Jawab: Misalkan
a = “Anda punya akses internet”
b= “Anda mahasiswa bidang minat telekomunikasi”
c= “Anda mahasiswa tahun pertama”
a  (b  ~c)

Matematika Diskrit(STELK45211)-2016/2017 2 Beby Manafe

 Quantifier
 p(x) = sebuah fungsi proposisi
 Quantifier universal = ( x ϵ A) p(x) atau x, p(x)
untuk setiap x ϵ A, p(x) benar

Untuk menunjukkan x p(x) salah, cukup dengan mencari

satu nilai x dalam domain sehingga p(x) salah.

Nilai x tersebut dikatakan contoh penyangkal (counter

example) dari pernyataan x p(x).

 Quantifier eksistensial = ( x ϵ A) p(x) atau  x, p(x)

terdapat x ϵ A sedemikian sehingga p(x) benar

Matematika Diskrit(STELK45211)-2016/2017 3 Beby Manafe

 Quantifier
Teorema DeMorgan: Misalkan p(x) adalah sebuah fungsi
proposisi pada A, maka:
i. ~ ( x ϵ A) p(x) ≡ ( x ϵ A) ~ p(x)
ii. ~ ( x ϵ A) p(x) ≡ ( x ϵ A) ~ p(x)
Teorema ini mengatakan bahwa dua pernyataan berikut
ekivalen:
i. “Tidak benar bahwa, untuk setiap x ϵ A, p(x) adalah benar”
ii. “Terdapat sebuah x ϵ A sedemikian sehingga p(x) adalah
salah”
Atau:
i. “Tidak benar bahwa terdapat sebuah x ϵ A sedemikian
sehingga p(x) adalah benar”
ii. “Untuk semua x ϵ A, p(x) adalah salah”

Matematika Diskrit(STELK45211)-2016/2017 4 Beby Manafe

 Quantifier
Contoh 1:
Misalkan p(x) menyatakan kalimat “x + 2 > 5”. Nyatakan apakah
p(x) adalah sebuah fungsi proposisi pada setiap himpunan
berikut:
a) N, himpunan bilangan bulat positif
b) M = {-1,-2,-3,...}
c) C, himpunan bilangan kompleks
Jawab:
a) Ya
b) Meskipun p(x) salah untuk setiap elemen M, tetapi p(x)
masih sebuah fungsi proposisi pada M
c) Tidak. Perhatikan bahwa 2i + 2 > 5 tidak mempunyai
pengertian. Dengan kata lain, pertidaksamaan tidak
terdefinisi untuk bilangan kompleks.
Matematika Diskrit(STELK45211)-2016/2017 5 Beby Manafe
 Quantifier
Contoh 2:
Misalkan A = {1,2,3,4,5}. Tentukan nilai kebenaran dari setiap
pernyataan berikut:
a) ( x ϵ A) (x + 3 = 10)
b) ( x ϵ A) (x + 3 < 10)
c) ( x ϵ A) (x + 3 < 5)
d) ( x ϵ A) (x + 3 ≤ 7)
Jawab:
a) Salah. Tidak ada bilangan dalam himpunan A yang
merupakan solusi untuk x + 3 = 10
b) Benar. Setiap bilangan di A memenuhi x + 3 < 10
c) Benar. Jika diambil x = 1, maka 1 + 3 < 5
d) Salah. Jika diambil x = 5, maka 5 + 3 > 7
Matematika Diskrit(STELK45211)-2016/2017 6 Beby Manafe
 Quantifier Bersusun
(Nested Quantifier)
x y (x+y = y+x)
berarti x+y = y+x berlaku untuk semua bilangan riil x dan y.

x y (x+y = 0)
berarti untuk setiap x ada nilai y sehingga x+y = 0.

x y z (x+(y+z) = (x+y)+z)
berarti untuk setiap x, y dan z berlaku hukum asosiatif
x+(y+z) = (x+y)+z.

Matematika Diskrit(STELK45211)-2016/2017 7 Beby Manafe

 Quantifier Bersusun
(Nested Quantifier)
Contoh:
Tentukan nilai kebenaran dari setiap pernyataan berikut dimana
{1,2,3} adalah himpunan semesta:
a) x y, x2 < y + 1
b) x y, x2 + y2 < 12
c) x y, x2 + y2 < 12

Matematika Diskrit(STELK45211)-2016/2017 8 Beby Manafe

 Quantifier Bersusun
(Nested Quantifier)
Jawab:
a) Benar. Untuk x = 1 maka 1 < y + 1, solusinya untuk y adalah
setiap bilangan dalam himpunan {1, 2, 3}.
b) Benar. Untuk setiap x dalam himpunan, misalkan y = 1,
maka berlaku x2 + 1 < 12.
c) Salah. Untuk x = 2 dan y = 3 maka x2 + y2 < 12 bukan
sebuah pernyataan yang benar.

Matematika Diskrit(STELK45211)-2016/2017 9 Beby Manafe

 Argumen
 Definisi: sebuah argumen adalah sebuah pernyataan dari
himpunan proposisi P1, P2,..., Pn yang diberikan, yang disebut
premise, menghasilkan proposisi Q yang lain, disebut
konklusi.
 Argumen dinyatakan dengan: P1, P2,...,Pn ˫ Q

 Sebuah argumen dikatakan valid jika Q benar bilamana semua

premise P1, P2,...,Pn adalah benar. Sebuah argumen yang tidak
valid disebut palsu.

 Teorema: Argumen P1, P2,...,Pn ˫ Q adalah valid jika dan

hanya jika proposisi (P1˄ P2 ˄...˄ Pn) → Q adalah sebuah
tautologi.
Matematika Diskrit(STELK45211)-2016/2017 10 Beby Manafe
 Argumen
 Contoh: Tunjukkan bahwa argumen berikut valid: p↔q, q ˫ p

p q p↔q (p↔q) ˄ q [(p↔q) ˄ q] → p

T T T T T
T F F F T
F T F F T
F F T F T

Dari tabel terbukti bahwa argumen tersebut adalah sebuah

tautologi, sehingga valid.

Matematika Diskrit(STELK45211)-2016/2017 11 Beby Manafe

 Argumen
 Konsep dasar penalaran logis/reasoning logical menyatakan:
“Jika p mengakibatkan q dan q mengakibatkan r, maka p
mengakibatkan r”. Sehingga argumen berikut adalah valid:
p→q, q→r ˫ p→r (Hukum Syllogism)

 Pembuktian bahwa konsep ini valid dilakukan dengan

membuat tabel kebenaran untuk:
[(p→q) ˄ (q→r)] → (p→r)

Matematika Diskrit(STELK45211)-2016/2017 12 Beby Manafe