Page 29 - E-MODUL INFORMATIKA KELAS X SMK ELEMEN BERPIKIR KOMPUTASIONAL
P. 29
b. p = Kambing memakan rumput (B)
q = Kambing memakan daging (S)
pvq = Kambing memakan rumput atau kambing memakan
daging (B)
4. Implikasi
Implikasi adalah salah satu penerapan pernyataan majemuk yang
dibentuk oleh kata hubung “jika....maka....” dengan bentuk simbol
↘ ↘
berupa “ ”. Sebagai contoh p q dapat dibaca sebagai “jika p, maka
q”. Berikut adalah tabel kebenaran implikasi:
↘
p q p q
Benar Benar Benar
Benar Salah Salah
Salah Benar Benar
Salah Salah Benar
Tabel 5. Kebenaran implikasi
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
22