Logika Matematika dan Digital

3.Negasi, Disjungsi, dan Konjungsi

Taufik Ridwan

Program Studi Teknik Informatika

Fakultas Ilmu Komputer
Universitas Singaperbangsa Karawang
2018
Logika Manusia dan Komputer
Antara yang
Matematis dan yang
Manusiawi dalam
Film "Sully"

▪ Nama Sully menjadi perhatian public ketika pesawat yang

dikendalikannya musti mendarat darurat di sungai Hudson,
New York pada 19 Januari 2009 silam.
▪ Pertarungan antara dimensi matematis yang dikenal
begitu logis dan mempunyai tingkat akurasi tinggi dengan

TR
dimensi kemanusiaan, inilah yang menjadi salah satu
menarik dari peristiwa ini.
2
▪ Propositional Operators
▪ Compound propositions (proposisi majemuk) dihubungkan oleh penghubung
yang dinamakan Operator

Misalkan p dan q adalah proposisi.

1. Ingkaran (Negation) dari p: tidak p. Notasi: p
2. Atau (Disjunction): p atau q. Notasi : p  q
3. Dan (Conjunction): p dan q. Notasi : p  q
4. Jika maka (Implication): jika p maka q. Notasi : p q
Jika dan hanya jika (Equivalency / Bi-implication): jika p dan hanya jika q. Notasi : p q

TR
5.

3
Tabel Kebenaran
▪ Nilai
kebenaran dari proposisi majemuk ditentukan oleh nilai
kebenaran dari proposisi atomiknya dan cara mereka
dihubungkan oleh operator logika.

▪ Tabel
kebenaran berisi semua kemungkinan yang mungkin untuk
menampilkan hubungan antara nilai kebenaran dari proposisi
atomik.

TR
4
1. Negasi (Ingkaran)
▪ Dihubungkan dengan simbol (-) yang diartikan sebagai tidak, bukan
▪ Negasi dapat berdiri untuk proposisi atomic dan majemuk

p -p Logika matematika

B S Jika p benar maka -p adalah salah

S B Jika p salah maka -p adalah benar

TR
5
6

TR
2. Disjungsi (atau)
▪ Dihubungkan dengan simbol (∨) yang diartikan sebagai 'atau’
▪ Salah satunya …. atau …

p q P ∨ q Logika matematika

B B B Jika p benar dan q benar maka p atau q

adalah benar
B S B Jika p benar dan q salah maka p atau q
adalah benar
S B B Jika p salah dan q benar maka p atau q
adalah benar

TR
S S S Jika p salah dan q salah maka p atau q
adalah salah
7
Disjungsi | contoh
Peserta lomba lukis diwajibkan
membawa pensil warna atau
krayon.

p : 7 adalah bilangan prima

q : 7 adalah bilangan ganjil
p ∨ q : 7 adalah bilangan prima atau ganjil

TR
8
Jenis Disjungsi

Kata “atau” (or) dalam operasi logika digunakan dalam salah

satu dari dua cara:
▪ Inclusive or “atau” berarti “p atau q atau keduanya”
Tenaga IT yang dibutuhkan harus menguasai Bahasa C++ atau Java

▪ Exclusive
or “atau” berarti “p atau q tetapi bukan
keduanya”
Ia dihukum 5 tahun atau denda 10 juta

TR
9
XOR
▪p atau q tapi bukan keduanya
▪ Benar hanya jika Inputnya berbeda (BS atau SB maka Benar)

p q P⊕q Logika matematika

B B S Jika p benar XOR q benar maka kedua-

duanya salah
B S B Jika p benar XOR q salah maka kedua-
duanya BENAR
S B B Jika p salah XOR q benar maka kedua-
duanya BENAR

TR
S S S Jika p benar XOR q salah maka kedua-
duanya salah
10
XOR | contoh
p : Saya akan melihat pertandingan bola di TV.
q : Saya akan melihat pertandingan bola di lapangan.
p⊕q:Saya akan melihat pertandingan bola di TV atau
lapangan

Hanya salah satu dari 2 kalimat penyusunnya yang boleh bernilai

benar yaitu jika “Saya akan melihat pertandingan sepak bola di TV saja
atau di lapangan saja tetapi tidak keduanya.

TR
11
3. Konjungsi (Dan)
▪ Duabuah pernyataan dapat digabungkan dengan menggunakan
simbol (∧) yang dapat diartikan sebagai ‘dan’
▪ Kedua-duanya…. dan …

p q P ∧ q Logika matematika

B B B Jika p benar dan q benar maka p dan q adalah

benar
B S S Jika p benar dan q salah maka p dan q adalah
salah
S B S Jika p salah dan q benar maka p dan q adalah
salah
S S S Jika p salah dan q salah maka p dan q adalah

TR
salah
12
Konjungsi | contoh
▪ Agardapat mengikuti ujian akhir siswa diwajibkan membawa kartu
peserta dan membawa pensil 2B untuk LJK.

TR
13
Tabel Kebenaran

p q pq p q pq p p

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

p : 17 adalah bilangan prima (benar)

q : bilangan prima selalu ganjil (salah)

▪p  q : 17 adalah bilangan prima dan bilangan prima selalu ganjil (salah)

TR
▪ p v q : 17 adalah bilangan prima dan bilangan prima selalu ganjil (benar)
14
Operator proposisi pada Google

TR
15
TR
16
TR
17
TR
18
TR
19
TR
20
TR
21
Simbolisasi| Latihan
Bentuk simbolisasi pernyataan dibawah jika diberikan:
p : Hari ini hujan
q : Hari ini dingin

▪ Hari ini dingin atau hari ini tidak hujan

▪ “Hari ini tidak hujan maupun dingin”
▪ Tidak benar hari ini tidak hujan

TR
22
Simbolisasi| Latihan
Bentuk simbolisasi pernyataan dibawah jika diberikan:
p : Hari ini hujan
q : Hari ini dingin

▪q  ~p : Hari ini dingin atau hari ini tidak hujan

▪ ~p  ~q : Hari ini tidak hujan maupun dingin
▪ ~(~p) : Tidak benar hari ini tidak hujan

TR
23
Tautologi dan kontradiksi
▪ Proposisimajemuk dapat selalu bernilai benar untuk berbagai
kemungkinan nilai kebenaran masing-masing proposisi atomiknya,
atau selalu bernilai salah untuk berbagai kemungkinan nilai
kebenaran masing-masing proposisi atomiknya

▪ Sebuahproposisi majemuk disebut tautologi jika ia benar untuk

semua kasus
▪ Sebaliknya disebut kontradiksi jika ia salah untuk semua kasus.

TR
24
▪ Review dan Latihan | Propositional Operators
Bentuklah tabel kebenaran dari proposisi
majemuk
1.p  ~(pq)
2.(pq)  (~qr)
3.(pq)  (~qr)
4.(p  q)  (~q~r)
5.~(p^q)  (~qvr)
Operator yang telah dipelajari:
6.~(~p  ~q)  (~q  ~r) ▪ Ingkaran (Negation) : 

TR
Atau (Disjunction): 
7.~p ˄(~q ˄ r)  (p ˄ r) ▪

▪ Dan (Conjunction): p dan q. Notasi :  25

Jawaban

▪ tabel kebenaran dari proposisi majemuk: p  ~(pq)

TR
26
LANJUTKAN JAWABAN nya

TR
27
Hukum Logika Proposisi
▪ Ekuivalen
secara logika merupakan hasil kombinasi yang selalu
menghasilkan table kebenaran yang sama

keekivalenan dapat dibuktikan dengan hukum-hukum logika,

khususnya pada proposisi majemuk yang mempunyai banyak proposisi
atomik.

TR
28
Hukum Logika Proposisi
Hukum Contoh

Identity laws A and True ≡ A

A or False ≡ A
Dominiton laws A or True ≡ True
A and False ≡ False
Law of contradiction A and not A ≡ False
A or not A ≡ True
Idempoten law A and A ≡ A
A or A ≡ A

TR
Law of Double Negation not (not A) = A
29
Hukum Logika Proposisi | Lanjutan
Hukum Contoh

Commutative Laws A and B ≡ B and A

A or B ≡ B or A
Associativity Laws (A and B) and C ≡ A and (B and C)
(A or B) or C ≡ A or (B or C)
Distributivity Laws A and (B or C) ≡ (A and B) or (A and C)
A or (B and C) ≡ (A or B) and (A or C)
Absorption A and (A or B) ≡ A
A or (A and B) ≡ A

TR
De Morgan Not (A and B) ≡ not A or not B
Not (A or B) ≡ not A and not B 30
Hukum Logika Proposisi | komutatif
pqqp
pqqp
p q  q p

Ciri - Ciri
1. Variabel kedua proposisi dapat saling berganti tempat tanpa mengubah nilai
kebenaran dari kedua ekspresi.
2. Perangkai Konjungsi ( ^ ), Disjungsi ( v) dan Ekuivalensi ( ↔ ) bersifat komutatif
3. Perangkai Implikasi ( → ) tidak bersifat komutatif dengan dibuktikan dari tabel
kebenaran

TR
Ex : ( p → q ) dengan ( q → p ) tidaklah ekuivalen.

31
1) Indah sangat cantik dan peramah.
2) Indah peramah dan sangat cantik.

Naluri kita mengatakan dua pernyataan diatas sama saja, atau dengan
bahasa matematis dikatakan ekuivalen
A  B  B A

TR
32
Operasi penyederhanaan
▪ Penyederhanaan ekspresi logika atau bentuk-bentuk logika yang
dibuat sesederhana mungkin dan sudah tidak dimungkinkan
dimanipulasi lagi.
▪ Operasi menggunakan hukum-hukum ekuivalensi logis.

(A  0)  ( A  A)

TR
33
Operasi penyederhanaan | contoh
▪ (A  0)  ( A  A)
= A  ( A  A)
= A  A atau A  T atau A  1
= A

TR
34
Latihan| Penyederhanaan
Sederhanakan bentuk dengan menggunakan hukum-hukum
ekuivalensi logika hingga menjadi bentuk paling sederhana
▪ (pq)(pq)  p
▪ (pq)  (pq) cari bentuk sederhananya
▪ ((pq)(pq))  (pq) cari bentuk sederhananya

TR
35
Minggu Depan
▪ Implikasi dan Penjelasan
▪ Notasi Simbolik Implikasi
▪ Keikuivalen secara logika
▪ Konvers Invers Kontraposisi

TR
36