TUGAS MATEMATIKA

MATERI III
BIIMPLIKASI DAN EKUIVALEN

OLEH:
ANDI JULIAN PRAKOSO
(161810101036)
ROYYAN KHOIR F
(161810101047)

UNIVERSITAS JEMBER
TAHUN AKADEMIK 2016/2017

Biimplikasi

Biimplikasi akan mempunyai nilai kebenaran B jika kedua

pernyataannya memiliki nilai kebenaran yang sama yaitu keduanya bernilai
B atau S dan biimplikasi akan mempunyai nilai kebenaran S jika kedua
pernyataannya mempunyai nilai kebenaran yang berbeda. Biimplikasi
mempunyai simbol ().
p
B
B
S
S

q
B
S
B
S

pq
B
S
S
B

Biimplikasi adalah hasil konjungsi dari 2 pernyataan majemuk implikasi

yang bersifat komutatif,untuk membuktikan hal tersebut lihat tabel berikut
p

pq

qp

B
B
S
S

B
S
B
S

B
S
B
B

B
B
S
B

(pq)(qp
)
B
S
S
B

Dilihat dari kedua tabel diatas maka (pq)(qp) ekuivalen dengan pq

Contoh Soal 1
Diketahui pernyataan berikut ini,.
p : Eka rajin belajar
q : Eka lulus Ujian Nasioanal
Tuliskan pernyataan majemuk dari dua pernyataan di atas yang diwakili oleh lambang p~q!

Penyelesaian:
p~q : Eka rajin belajar jika dan hanya jika Eka tidak lulus Ujian Nasional

Contoh Soal 2

Tentukan nilai kebenaran dari pernyataan x2 4 = 0 tidak memiliki penyelesaian jika dan hanya
jika ikan hidup di air

Penyelesaian:
p : x2 4 = 0 tidak memiliki penyelesaian (salah)
q : ikan hidup di air (benar)
pq (salah)
Jadi, pernyataan majemuk bernilai salah.

Contoh Soal 3
Tentukan nilai x agar p (x) q bernilai benar jika diketahui:
p(x) : x2 + 8x 8 4x + 13
q : jumlah sisi pada kubus ada 8

Penyelesaian:
p(x) : x2 + 8x 8 4x + 13
x2 + 4x 21 0
-7 x 3
q : jumlah sisi pada kubus ada 8 (salah)
Agar p (x) q bernilai benar, haruslah p(x) bernilai salah.
Agar p (x) bernilai salah, maka x < -7 atau x > 3.
Jadi, p (x) q bernilai benar untuk x < -7 atau x > 3.

EKUIVALEN

Menurut kamus besar Bahasa Indonesia, ekuivalen memiliki arti mempunyai nilai
(ukuran, arti, atau efek) yg sama; seharga; sebanding; sepadan.
Ekuivalen dari dua proposisi. Dua proposisi adalah ekuivalen bila dihubungkan dengan
relasi "jika dan hanya jika".
Ekuivalensi antar proposisi p dan q biasanya ditulis dengan atau p q
Contoh:
(p q) p q
Relasi ekivalen pada suatu himpunan adalah suatu relasi yang memenuhi sifat refleksif,
simetri dan transitif.
Contoh:
Relasi "=" atau "sama dengan" pada himpunan bilangan bulat adalah relasi ekuivalen
sebab a, b, c bilangan bulat berlaku:
refleksif : a = a
simetri : jika a = b maka b = a
transitif : jika a = b dan b = c maka a = c

Dua pernyataan majemuk disebut ekuivalen , jika mempunyai nilai kebenaran yang sama.
Contoh :

p v q q v p (Komutatif)
p ^ q q ^ p (Komutatif)
p v (q v r) (p v q) v r (Asosiatif)
p ^ (q ^ r) (p ^ q) ^ r (Asosiatif)
p v (q ^ r) (p v q) ^ (p v r) (Distributif)
p ^ (q v r) (p ^ q) v (p ^ r) (Distributif)
~(p v q) ~p ^ ~q (De Morgan)
~(p ^ q) ~p v ~q (De Morgan)
p q ~p v q (Implikasi)
p q (p q) ^ (q p) (Biimplikasi)
~(p q) p ^ ~q (Negasi Implikasi)
~(p q) (p ^ ~q) v (q ^ ~p) (Negasi biimplikasi)
p v (p q) p (HukumAbsorbsi / Penyerapan)
p (p v q) p (HukumAbsorbsi / Penyerapan)

PEMBUKTIAN

p v q q v p (Komutatif)

p
B
B
S
S

q
B
S
B
S

pvq
B
B
B
S

p
B
B
S
S

q
B
S
B
S

qvp
B
B
B
S

p ^ q q ^ p (Komutatif)

p
B
B
S
S

q
B
S
B
S

p^q
B
S
p S
B S
B
S
S

q
B
S
B
S

q^p
B
S
S
S

p v (q v r) (p v q) v r (Asosiatif)
p
B
B
B
B
S
S
S
S

q
B
B
S
S
B
B
S
S

r
B
S
B
S
B
S
B
S

qvr
B
B
B
S
B
B
B
S

p v (q v r)
B
B
B
B
B
B
B
S

pvq
B
B
B
B
B
B
S
S

(p v q) v r
B
B
B
B
B
B
B
S

p ^ (q ^ r) (p ^ q) ^ r (Asosiatif)
p
B
B
B
B
S
S
S
S

p
B
B
B
B
S
S
S
S

p
B
B
B
B
S
S
S
S

p
B
B
S

q
B
B
S
S
B
B
S
S

r
B
S
B
S
B
S
B
S

q^r
B
S
S
S
B
S
S
S

p ^ (q ^ r)
B
S
S
S
S
S
S
S

p^q
B
B
S
S
S
S
S
S

(p ^ q) ^ r
B
S
S
S
S
S
S
S

p v (q ^ r) (p v q) ^ (p v r) (Distributif)
q
B
B
S
S
B
B
S
S

r
B
S
B
S
B
S
B
S

q^r
B
S
S
S
B
S
S
S

p v (q ^ r)
B
B
B
B
B
S
S
S

pvq
B
B
B
B
B
B
S
S

pvr
B
B
B
B
B
S
B
S

(p v q) ^ (p v r)
B
B
B
B
B
S
S
S

p^q
B
B
S
S
S
S
S
S

p^r
B
S
B
S
S
S
S
S

(p ^ q) v (p ^ r)
B
B
B
S
S
S
S
S

p ^ (q v r) (p ^ q) v (p ^ r) (Distributif)
q
B
B
S
S
B
B
S
S

r
B
S
B
S
B
S
B
S

qvr
B
B
B
S
B
B
B
S

p ^ (q v r)
B
B
B
S
S
S
S
S

~(p v q) ~p ^ ~q (De Morgan)

q
B
S
B

~p
S
S
B

~q
S
B
S

pvq
B
B
B

~(p v q)
S
S
S

~p ^ ~q
S
S
S

q
B
S
B
S

~p
S
S
B
B

p
B
B
S
S

~q
S
B
S
B

p^q
B
S
S
S

~(p ^ q)
S
B
B
B

~p v ~q
S
B
B
B

p q ~p v q (Implikasi)
p
B
B
S
S

~(p ^ q) ~p v ~q (De Morgan)

p
B
B
S
S

q
B
S
B
S

~p
S
S
B
B

pq
B
S
B
B

~p v q
B
S
B
B

p q (p q) ^ (q p) (Biimplikasi)
p

pq

pq

qp

B
B
S
S

B
S
B
S

B
S
S
B

B
S
B
B

B
B
S
B

~(p q) p ^ ~q (Negasi Implikasi)

p
q
~q
B
B
S
B
S
B
S
B
S
S
S
B

pq
B
S
B
B

~(p q) (p ^ ~q) v (q ^ ~p) (Negasi biimplikasi)

q
~p
~q
pq
~(p q)
p ^ ~q
B
S
S
B
S
S
S
S
B
S
B
B
B
B
S
S
B
S
S
B
B
B
S
S

(pq)(q
p)
B
S
S
B

~(p q)
S
B
S
S

q ^ ~p
S
S
B
S

p ^ ~q
S
B
S
S

(p ^ ~q) v (q ^ ~p)
S
B
B
S


p
B
B
S
S

p v (p q) p (HukumAbsorbsi / Penyerapan)
p v (p q)
q
p^q
B
B
B
S
S
B
B
S
S
S
S
S

p
B
B
S
S

p (p v q) p (HukumAbsorbsi / Penyerapan)
q
pvq
p ^ (p v q)
B
B
B
S
S
B
B
S
S
S
S
S

Jumat, 16 09 - 2016