Logika Informatika

Pertemuan-6
 • Konvers
AGENDA • Invers
• Kontraposisi
• Ekuivalen

20XX Presentation title 2

Contoh Pernyataan Implikasi

“Jika A merupakan suatu segitiga sama kaki, maka A merupakan suatu segitiga”

• p : A merupakan suatu segitiga sama kaki

• q : A merupakan suatu segitiga

Ekspresi logika : p → q

20XX Presentation title 3

 p : A merupakan suatu segitiga sama kaki
Bentuk Implikasi Lain q : A merupakan suatu segitiga

KONVERS INVERS KONTRAPOSISI

q→p ~p → ~q ~q → ~p
• Jika A merupakan suatu • Jika A bukan merupakan suatu • Jika A bukan segitiga maka A
segitiga maka A adalah suatu segitiga sama kaki maka A bukan segitiga sama kaki
segitiga sama kaki bukan segitiga

20XX Presentation title 4

TABEL KEBENARAN KONVERS, INVERS, KONTRAPOSISI

p q ~p ~q p→q q→p ~p → ~q ~q → ~p

T T F F T T T T

T F F T F T T F

F T T F T F F T

F F T T T T T T

20XX Presentation title 5

 p → q ≈ ~q → ~p

Suatu implikasi selalu ekuivalen

dengan kontraposisinya, akan
tetapi tidak demikian halnya
dengan invers dan konversnya.
- UNKNOWN

20XX Presentation title 6

 EKUIVALENSI LOGIKA
Dua atau lebih pernyataan majemuk yang
memiliki nilai kebenaran yang sama.

p → q ≈ ~q → ~p

≈ atau ≡ : simbol ekuivalensi

20XX Presentation title 7

PEMBUKTIAN EKUIVALENSI
DENGAN TABEL KEBENARAN
CONTOH EKUIVALENSI
1. Orang pandai selalu bijaksana dan sederhana
p q pq qp
2. Orang pandai selalu sederhana dan bijaksana

T T T T
• p : Orang pandai selalu bijaksana
• q : Orang pandai selalu sederhana T F F F

F T F F
Ekspresi logika
1. p  q F F F F
2. q  p

EKUIVALEN
Jadi, p  q ≈ q  p

20XX Presentation title 9

SOAL EKUIVALENSI
• Tentukan apakah pasangan ekspresi logika tersebut ekuivalen ! (dibuktikan dengan tabel kebenaran)

1. ~(~p) dengan p
2. ~(p  q) dengan ~p  ~q
3. p → q dengan ~p  q

20XX Presentation title 10

SOAL EKUIVALENSI

1. ~(~p) dengan p

p ~p ~(~p)

T F T

F T F

EKUIVALEN
Jadi, p ≈ ~(~p)

20XX Presentation title 11

SOAL EKUIVALENSI

2. ~(p  q) dengan ~p  ~q
p q pq ~(p  q) ~p ~q ~p  ~q

T T T F F F F

T F F T F T F

F T F T T F F

F F F T T T T

TIDAK EKUIVALEN
Jadi, ~(p  q) ≠ ~p  ~q

20XX Presentation title 12

SOAL EKUIVALENSI

3. p → q dengan ~p  q
p q p→q ~p ~p  q

T T T F T

T F F F F

F T T T T

F F T T T

EKUIVALEN
Jadi, p → q ≈ ~p  q

20XX Presentation title 13

Tugas
1. Buatlah 2 pernyataan lalu buat kalimat dan ekspresi
logikanya dalam bentuk konvers, invers dan
kontraposisi! (contoh : slide ke-4)

2. Tentukan apakah pasangan ekspresi logika tersebut

ekuivalen ! (dibuktikan dengan tabel kebenaran)

a. (p  q)  r dan p  (q  r)

b. p  q dan (~p  q)  (~q  p)

c. p  (q  r) dan (p  q)  (p  r)

d. (p  q)  (p  ~q) dan p

20XX Presentation title 14

 Terimakasih
Semoga ilmunya bermanfaat~

20XX Presentation title 15