Page 10 - E-Modul Logika Matematika

d. Biimplikasi

Biimplikasi Dari pernyataan dan ( : dibaca p jika dan hanya jika q) bernilai benar

hanya ketika pernyataan dan memiliki nilai kebenaran yang sama.

Berikut ini merupakan tabel kebenaran dari Biimplikasi

P Q p q
B B B

B S S
S B S
S S B

Contoh soal 1.4

1. log b = c jika dan hanya jika 10c = b.
Sumber : https://images.app.goo.gl/qZW2LS3WrBnAWAgv6
2. 2n bilangan genap jika dan hanya jika n
bilangan bulat. Gambar 1. 5
3. a + b = 0 jika dan hanya jika b = –a.
„‟Karyawan akan dapat bonus jika dan hanya jika

ia tidak pernah datang terlambat.‟‟

2. Ingkaran pernyataan majemuk atau pernyataan berkuantor.

Jenis Kuantor :

Kuantor Penulisan Cara baca

Univerisal ) Untuk semua x berlaku
P(x)
Eksistensial ) Ada beberapa x berlaku
P(x)

Ingkaran kuantor :

Penulisan Cara baca
~( )) Ada beberapa x berlaku P(x)
)
~( )) Semua x berlaku P(x)
)

7

Aria Susana : E- Modul Logika Matematika