Page 37 - E-MODUL INFORMATIKA ELEMEN BERPIKIR KOMPUTASIONAL
P. 37
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 implikasi
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) 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:
31
