Page 25 - E-MODUL INFORMATIKA ELEMEN BERPIKIR KOMPUTASIONAL-SISKA WAHYU NINGSIH-20004029

BERPIKIR KOMPUTASIONAL
BAB 1

C. LOGIKA MATEMATIKA

Logika matematika adalah salah satu cabang matematika yang

mempelajari tentang pola pikir yang tepat dan logis dalam menarik suatu
kesimpulan. Dalam logika matematika, terdapat lima istilah yang sering

digunakan yaitu negasi, konjungsi, disjungsi, implikasi, dan biimplikasi.
Berikut tampilan tabel simbol dari negasi, konjungsi, disjungsi, implikasi,

dan biimplikasi:

No Simbol Arti Bentuk

1. ~ Tidak/Not/Negasi Tidak___

2. Dan/And/Konjungsi ___dan___
^

3. ^ Atau/Or/Disjungsi ___atau___

4. Implikasi Jika___maka___

5. ↔ Bi-implikasi ___jika dan hanya jika___

Tabel 1. Negasi, Konjungsi, Disjungsi, Implikasi, Biimplikasi

18