Page 30 - E-MODUL INFORMATIKA KELAS X SMK ELEMEN BERPIKIR KOMPUTASIONAL

Contoh:

a. p = Dua adalah bilangan genap (B)
q = Dua adalah bilangan prima (B)
↘
p q = Jika dua adalah bilangan genap maka dua
adalah bilangan prima (B)

b. p = Sapi berkaki empat (B)
q = Sapi memiliki gading (S)
↘
p q = Jika sapi berkaki empat maka sapi memiliki gading (S)

5. Biimplikasi

Biimplikasi adalah salah satu jenis pernyataan majemuk yang

dibentuk dengan menggunakan kata penghubung “...jika dan hanya
jika...” dengan bentuk simbol berupa “ ↔ ”. Berikut adalah tabel

kebenaran biimplikasi:

↔
p q p q

Benar Benar Benar

Benar Salah Salah

Salah Benar Salah
Salah Salah Benar
Tabel 6. Kebenaran biimplikasi
Penjelasan:
p adalah pernyataan kesatu
q adalah pernyataan kedua
B adalah pernyataan yang memiliki nilai benar

S adalah pernyataan yang memiliki nilai salah
↔
p q adalah output yang dihasilkan dari proses biimplikasi

23