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 , semoga bisa membantu :)