Biimplikasi & negasinya

Nadia Dwi Wahyuni (21)

ANGGOTA : Alfina Syalami H (01)
Dewi Maharani (09)
Lucky Nathaniela DR (16)
Priska Putri C (25)
 PENGERTIAN BIIMPLIKASI
• Dalam logika matematika, biimplikasi adalah pernyataan majemuk yang
dibentuk dari dua pernyataan dengan kata hubung “..... Jika dan hanya jika....”.
Biimplikasi yang dibentuk dari pernyataan p dan q ditulis p ↔ q.
Pernyataan p ↔ q dapat dibaca:
 p jika dan hanya jika q, atau
Jika p maka q dan jika q maka p
• Pada biimplikasi p ↔ q, p disebut syarat perlu dan cukup bagi q dan q syarat
perlu dan cukup bagi p. Nilai kebenaran pernyataan ini dapat dilihat pada tabel
berikut
p q p↔q
B B B
B S S
S B S
S S B
• Sekarang, perhatikan pernyataan berikut:
1. Manusia dapat hidup jika dan hanya jika ada oksigen Benar
2. Semua bilangan prima ganjil jika dan hanya jika 7 termasuk bilangan
prima
Salah
3. 5 < 1 jika dan hanya jika > 9
4. 3 x 5 = 15 jika dan hanya jika 12 :Benar
4<5
5. Luas segitiga = jika dan hanya jika = 25 Benar
6. Bandung ibukota jawa barat jika dan hanya jika Salah
Salah
 NEGASI BIIMPLIKASI

• Secara umum, negasi pernyataan p ↔ q adalah p ↔ q atau p ↔ q ,

ditulis sebagai berikut
• (p ↔ q) p ↔ q atau (p ↔ q) p ↔ q
• Nilai kebenaran ekuivalensi kedua pernyataan tersebut dapat dilihat pada
tabel berikut
p q p q p↔q (p ↔ q ) p↔q p↔q
B B S S B S S S
B S S B S B B B
S B B S S B B B
S S B B B S S S
 Contoh negasi biimplikasi
1. p ↔ q : Ujian dibatalkan jika dan hanya jika hari ini hujan
p ↔ q : Ujian tidak dibatalkan jika dan hanya jika hari ini hujan
p ↔ q : Ujian dibatalkan jika dan hanya jika hari ini tidak hujan
2. p ↔ q : suatu negara maju jika dan hanya jika terletak di benua
eropa
p ↔ q : suatu negara tidak maju jika dan hanya jika terletak di
benua eropa
p ↔ q : suatu negara maju jika dan hanya jika tidak terletak di
benua eropa
3. p ↔ q : merupakan bilangan rasional jika dan hanya jika Padang merupakan
ibukota Sumatra Barat
p ↔ q : bukan merupakan bilangan rasional jika dan hanya jika Padang merupakan
ibukota Sumatra Barat
p ↔ q : merupakan bilangan rasional jika dan hanya jika Padang bukan
merupakan ibukota Sumatra Barat
4. p ↔ q : merupakan rumus molekul dari asam sulfat jika dan hanya jika sudut
lancip besarnya
p ↔ q : bukan merupakan rumus molekul dari asam sulfat jika dan hanya jika
sudut lancip besarnya
p ↔ q : merupakan rumus molekul dari asam sulfat jika dan hanya jika sudut
lancip besarnya
Daftar pustaka
• Buku paket matematika hal 119
• Buku paket matematika hal 125