Logika Informatika

Dalam logika, dikenal 5 buah penghubung, yaitu:

1. (~) negasi/tidak
2. (^) konjungsi/dan
3. (v) disjungsi/atau
4. (=>) implikasi
5. (<=>) bi.implikasi

contoh:
P : hari ini panas
Q : hari ini cerah
nyatakan kalimat di bawah ini dengan simbol logika!!!

a. hari ini tidak panas tetapi cerah
b. hari ini panas dan tidak cerah
c. tidak benar bahwa hari ini panas dan tidak cerah

JAWAB :
a. ~P^Q
b. ~P^~Q
c. ~(P^Q)


Dalam Loika Informatika juga terdapat beberapa modus

1. Modus Tollens
2. Modus Silogisme Disjungtif
   
3. Modus Silogisme Hipotesa
   
4. Modus Ponems

untuk sementara hanya ini yang dapat saya bagi kepada teman-teman, semoga menbantu walaupun sedikit