Matematika

Diskrit
Tiara Nabila Putri, M.Kom
Dasar –
Pertemuan Ke-3
dasar Logika
UNIVERSITAS PUTRA INDONESIA “YPTK”
PADANG
Pernyataan
Majemuk
Bersusun
 Pernyataan Majemuk Bersusun

Dibentuk oleh lebih dari dua pernyataan tunggal, lebih dari

dua pernyataan majemuk
Contoh
•~ (~ p ∨ ~ q )
•( p ∨ q ) ∧ ( p → q )
•~ p ∨ ( q ∧ ~r )
•[ p → (q ∧ r )] ∧ [~ p → (~ q ∧ ~ r )]
 Jika p dan q bernilai benar (B)
r dan s bernilai salah (S)
Tentukan nilai kebenaran pernyataan berikut ini…!

•p ∨ (q ∧ r)

•(p ∧ q ∧ r) ∨ ~ [( p ∨ q ) ∧ ( r ∨ s )]

•[~ ( p ∧ q ) ∨ ~ r] ∨ [((~ p ∧ q ) ∨ ~ r) ∧ s]
 Menentukan Nilai Kebenaran
Pernyataan Majemuk Bersusun dengan Tabel
kebenaran
Langkah-langkah membuat tabel kebenaran, yang memuat n
buah pernyataan tunggal adalah sebagai berikut:

1.Isilah kolom pertama dengan huruf B sebanyak 2^(n-1) buah,

mulai dari baris pertama berurut ke bawah. Kemudian, diikuti
dengan huruf S sebanyak berturut-turut pula ke bawah.
2.Isilah kolom kedua mulai dari baris pertama dengan huruf B
sebanyak 2^(n-2) berturut-turut, diikuti dengan huruf S sebanyak
pula. Untuk baris setelahnya yang masih kosong diisi dengan pola
huruf B dan S yang telahada sebelumnya, sampai semua baris
terisi.
3.Isilah kolom ketiga mulai baris pertama dengan huruf B sebanyak
2^(n-3) buah, dilanjutkan dengan huruf S sebanyak pula.
Demikian seterusnya untuk baris-baris setelahnya, diisi sama
dengan pola B dan S yang telah ada sebelumnya.
 Buatlah tabel kebenaran untuk kalimat dalam bentuk
simbol logika di bawah ini

1.~ (~p ∨ ~q)

p q ~p ~q ~p ∨ ~q ~ (~p ∨ ~q)

B B S S S B

B S S B B S

S B B S B S

S S B B B S
 Buatlah tabel kebenaran untuk kalimat dalam bentuk
simbol logika di bawah ini
2. ( p ∨ q ) ∧ ( p → q )

p q p∨q p→q (p ∨ q) ∧ (p → q)

B B B B B

B S B S S

S B B B B

S S S B S
 Buatlah tabel kebenaran untuk kalimat dalam bentuk
simbol logika di bawah ini
3.~ p ∨ ( q ∧ ~r )

p q r ~p ~r q ∧ ~r ~p ∨ ( q ∧ ~r )
B B B S S S S
B B S S B B B
B S B S S S S
B S S S B S S
S B B B S S B
S B S B B B B
S S B B S S B
S S S B B S B
 Buatlah tabel kebenaran untuk kalimat dalam bentuk
simbol logika di bawah ini
4.[ p → (q ∧ r )] ∧ [~ p → (~ q ∧ ~ r )]
[ p → (q ∧ r )] ∧
(~q ∧ ~p→(~q ∧
p q r ~p ~q ~r q ∧ r p → (q ∧ r) [~ p → (~ q ∧ ~ r
~r) ~r)
)]
B B B S S S B B S B B
B B S S S B S S S B S
B S B S B S S S S B S
B S S S B B S S B B S
S B B B S S B B S S S
S B S B S B B B S S S
S S B B B S S B S S S
S S S B B B S B B B B
 Tautologi, Kontradiksi dan Kontigensi

❑ Tautologi adalah suatu bentuk pernyataan yang selalu bernilai

benar (B), tidak peduli bagaimanapun nilai kebenaran
masing-masing pernyataan penyusunnya.
contoh : (p ∧ q) → q

❑ Kontradiksi adalah suatu bentuk pernyataan yang selalu

bernilai salah (S), tidak peduli bagaimanapun nilai kebenaran
masing-masing pernyataan penyusunnya.
contoh : (p ∧ q) ∧ ~ (p ∨ q) , (p ∧ ~ p) , ~ (p ∨ ~ p)

❑ Kontigensi adalah pernyataan yang bukan tautologi maupun

kontradiksi
❑ Contoh : ~ (p ∨ ~ q)
Hukum - hukum Logika Proposisi
 Tentukan dengan tabel kebenaran apakah pasangan
pernyataan-pernyataan di bawah ini ekuivalen

• ~ (~ p) ≡ p

• ~ (p ∧ q) ≡ ~ p ∧ ~ q

• p→q≡~p∨q

Nb : Dua pernyataan disebut ekuivalen (secara logika) bila dan hanya

bila keduanya memiliki nilai kebenaran yang sama untuk semua
substitusi nilai kebenaran masing-masing kalimat penyusunnya.
 Contoh : Tunjukkan bahwa p ∨ ~(p ∨ q) dan p
∨ ~q keduanya ekivalen secara logika.

Penyelesaian:
p ∨ ~(p ∨ q ) ≡ p ∨ (~p ∧ ~q) (Hukum De
Morgan)
≡ (p ∨ ~p) ∧ (p ∨ ~q)(Hukum distributif)
≡ T ∧ (p ∨ ~q) (Hukum negasi)
≡ p ∨ ~q (Hukum identitas)
 Contoh : Buktikan hukum penyerapan:
p ∧ (p ∨ q) ≡ p
Penyelesaian:
p ∧ (p ∨ q) ≡ (p ∨ F) ∧ (p ∨ q) (Hukum
Identitas)
≡ p ∨ (F ∧ q) (Hukum distributif)
≡ p∨F (Hukum Null)
≡ p (Hukum Identitas)
 Ekuivalensi Ingkaran Konjungsi dan Ingkaran
Disjungsi
Berdasarkan “Hukum De Morgan”
INGKARAN KONJUNGSI
~ (p ∧ q) ≡ ~ p ∨ ~ q
INGKARAN DISJUNGSI
~ (p ∨ q) ≡ ~ p ∧ ~ q
Untuk melakukan pembuktian…!!!
Buat tabel kebenaran yang memuat
p, q, ~p, ~q, (p ∧ q), (p ∨ q), ~ , (p ∧ q), ~(p ∨ q), ~p ∨ ~ q,
~p ∧ ~ q
 Ekuivalensi Ingkaran Konjungsi dan Ingkaran
Disjungsi
Berdasarkan “Hukum De Morgan”
Tentukan ingkaran dari pernyataan berikut :
1. Heru dan Andika lulus SPMB
2. Tujuh adalah bilangan ganjil atau besi adalah benda cair

Penyelesaian….
1. p : Heru lulus SPMB ~p : Heru tidak lulus SPMB
q : Andika lulus SPMB ~q : Andika tidak lulus SPMB
~ (p ∧ q) ≡ ~ p ∨ ~ q
Heru tidak lulus SPMB atau Andika tidak lulus SPMB
atau Heru atau Andika tidak lulus SPMB
 Ekuivalensi Ingkaran Konjungsi dan Ingkaran
Disjungsi
Berdasarkan
Tentukan ingkaran “Hukum
dari pernyataan De Morgan”
berikut :
1. Heru dan Andika lulus SPMB
2. Tujuh adalah bilangan ganjil atau besi adalah benda cair

Penyelesaian….
2. p : 7 bilangan ganjil ~p : 7 bukan bilangan ganjil
q : besi adalah benda cair ~q : besi bukan adalah benda
cair
~ (p ∨ q) ≡ ~ p ∧ ~ q
Tujuh bukan bilangan ganjil dan besi bukan benda cair
 Ekuivalensi Ingkaran Implikasi dan Ingkaran
Biimplikasi
Berdasarkan “Hukum De Morgan”
INGKARAN IMPLIKASI
~ (p → q) ≡ p ∧ ~ q
INGKARAN BIIMPLIKASI
~ (p ⇔ q) ≡ (p ∧ ~ q) ∨ (q ∧ ~ p)
Untuk melakukan pembuktian…!!!
Buat tabel kebenaran yang memuat
p, q, ~p, ~q, (p ∧ q), (p ∨ q), ~ , (p ∧ q), ~(p ∨ q), ~p ∨ ~ q,
~p ∧ ~ q
 Ekuivalensi Ingkaran Konjungsi dan Ingkaran
Disjungsi
Tentukan ingkaranBerdasarkan “Hukum
dari pernyataan De Morgan”
berikut :
1. Jika hari ini tidak turun hujan maka ia pergi jalan-jalan
2. Jika Pak Bondan seorang profesor maka ia seorang dosen

Penyelesaian….
1. p : hari ini tidak turun hujan ~p : hari ini turun hujan
q : ia pergi jalan-jalan ~q : ia tidak pergi jalan-jalan
~ (p → q) ≡ p ∧ ~ q
Hari ini tidak turun hujan maka ia tidak pergi
jalan-jalan
 Ekuivalensi Ingkaran Konjungsi dan Ingkaran
Disjungsi
Tentukan ingkaranBerdasarkan “Hukum
dari pernyataan De Morgan”
berikut :
1. Jika hari ini tidak turun hujan maka ia pergi jalan-jalan
2. Jika Pak Bondan seorang profesor maka ia seorang dosen

Penyelesaian….
1. p : Pak Bondan seorang profesor ~p : Pak Bondan bukan
seorang profesor
q : ia seorang dosen ~q : ia bukan seorang dosen
~ (p → q) ≡ p ∧ ~ q
Pak Bondan seorang profesor tapi bukan seorang dosen

(Tapi termasuk dalam konjungsi)

 Bila dua proposisi majemuk yang
ekivalen di-bikondisionalkan, maka
hasilnya adalah tautologi.

Teorema:
Dua buah proposisi majemuk, P(p, q, ..) dan Q(p,
q, ..) disebut ekivalen secara logika,
dilambangkan dengan P(p, q, …) ⇔ Q(p, q, …),
jika P ↔ Q adalah tautologi.

Contoh…. : p ⇔q ≡ (p → q) ∧ (q → p)
 tabel kebenaran untuk membuktikan kalau dua proposisi
majemuk yang ekivalen di-bikondisionalkan, maka
hasilnya adalah tautologi
p ⇔q ≡ (p → q) ∧ (q → p)

p⇔ q→ (p → q) ∧ (q → (p ⇔q) ⇔ ((p → q) ∧ (q →
p q p→q
q p p) p))
B B B B B B B

B S S S B S B

S B S B S S B

S S B B B B B

Terbukti….
 tabel kebenaran untuk membuktikan kalau dua proposisi
majemuk yang ekivalen di-bikondisionalkan, maka
hasilnya adalah tautologi
~ (p ∧ q) ≡ ~ p ∨ ~ q

~ (p ∧ ~ p∨~ ~ (p ∧ q) ⇔ (~ p ∨ ~
p q ~p ~q p∧q
q) q q)
B B S S B S S B

B S S B S B B B

S B B S S B B B

S S B B S B B B

Terbukti….