Logika Informatika
Logika berasal dari bahasa Yunani, yaitu logos yang artinya kata, ucapan atau alasan. Jadi, logika adalah ilmu untuk berfikir dan menalar dengan benar 
A. Pernyataan
 Pernyataan adalah kalimat yang hanya bernilai (benar saja atau salah saja) tidak bisa sekaligus terdapat (benar dan salah) didalamnya.
Contoh: Tembok itu putih (sambil menunjuk tembok tersebut)
              -2 + 1 = 3
B. Kalimat Terbuka
Kalimat Terbuka adalah kalimat umum yang belum terbukti akan kebenarannya.
Contoh: 2 X + 11 = 8 (X Belum Jelas Nilainya)
              Itu adalah benda cair (itu yang mana? "tanpa nunjuk")
              besok diramalkan hujan (Belum tentu)
C. Proposisi Majemuk
Proposisi Majemuk adalah hubungan antara 2 buah pernyataan (benar atau salah) dengan penghubung diantaranya:
1. Konjungsi P∧Q (Dan / And) simbolnya ∧
    Ketentuan: (Bernilai 
Benar Jika 
P Benar ∧ Q Benar)
 lainnya
 Salah 
p 
 |    
q 
 |           p∧q    |   
   
B 
B 
S 
S 
 |    
B 
S 
B 
S 
 |    
B 
S 
S 
S 
 |   
2. Disjungsi P∨Q (Atau / Or) simbolnya ∨ 
    Ketentuan: (Bernilai 
Salah Jika P 
Salah ∨  Q Salah) lainnya 
Benar
p 
 | 
q 
 |           p ∨ q    | 
B 
B 
S 
S 
 | 
B 
S 
B 
S 
 | 
B 
B 
B 
S 
 | 
3. Implikasi P⇒Q (Jika)(Maka) simbolnya ⇒
    Ketentuan: (Bernilai 
Salah Jika 
P Benar ⇒ Q Salah) lainnya 
Benar
p 
 | 
q 
 |           p ⇒ q    | 
B 
B 
S 
S 
 | 
B 
S 
B 
S 
 | 
B 
S 
B 
B 
 | 
  
 
4. Bi-Implikasi P⇔Q (Jika dan hanya jika...maka...) simbolnya ⇔
Ketentuan: (Bernilai 
Benar jika dan hanya jika 
Benar ⇔ 
Benar)
                   (Bernilai 
Benar jika dan hanya jika 
Salah ⇔ 
Salah)
p 
 | 
q 
 |           p ⇔ q    | 
B 
B 
S 
S 
 | 
B 
S 
B 
S 
 | 
B 
S 
S 
B 
 | 
 
5. Negasi (Ingkaran / Not)
Simbolnya: 
(∞
~ ─ ′ ‾)
 
Ketentuan: Jika Pernyataan 
Salah maka menjadi 
Benar dan sebaliknya.
Demikianlah materi 
Penghubung Logika Sistem Informasi Teknokrat karangan ulang imam mustofa, semoga bisa membantu :)