Page 32 - Modul Ajar Informatika SMK Kelas X
P. 32
KELAS X – INFORMATIKA
5. Biimplikasi
Biimplikasi merupakan salah satu jenis pernyataan majemuk yang
dibentuk dengan menggunakan kata penghubung “… jika …, dan hanya jika
…” yang diawali dengan symbol notasi “↔” Berikut adalah tabel kebenaran
biimplikasi.
Tabel 6. Tabel Kebenaran Biimplikasi
p q p ↔ q
B B B
B S S
S B S
S S B
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
Contoh:
p = Harimau adalah hewan berkaki dua. (S)
q = Burung Murai adalah hewan berkaki empat. (S)
p → q = Harimau adalah hewan berkaki dua jika dan hanya jika Burung
Murai adalah hewan berkaki empat. (B)
E. Rangkuman
1. Proposisi merupakan sebuah pernyataan yang menggambarkan keadaan benar
atau salah dalam bentuk sebuah kalimat.
2. Kalimat terbuka adalah jenis kalimat yang masih diperlukan pengujian untuk
menentukan benar atau salahnya.
3. Dalam logika matematika, terdapat 5 istilah yang sering digunakan, yaitu:
negasi, konjungsi, disjungsi, implikasi dan biimplikasi.
F. Kuis Interaktif
Silahkan klik tombol disamping: Kuis Interaktif
17
SMK Kesehatan Yannas Husada Bangkalan
