Logika berasal dari bahasa Yunani, yaitu logos yang artinya kata, ucapan atau alasan. Jadi, logika adalah ilmu untuk berfikir dan menalar dengan benar Istilah-istilah logika Ada beberapa istilah yang akan digunakan dalam logika informatika yaitu : • Premis : yaitu sebuah pernyataan • Argumen : usaha untuk mencari kebenaran dari premis berupa kesimpulan • Konklusi : Kesimpulan
2.PERNYATAAN (PROPOSISI) Kata merupakan rangkaian huruf yang mengandung arti, sedangkan kalimat adalah kumpulan kata yang disusun menurut aturan tata bahasa dan mengandung arti. Di dalam matematika tidak semua pernyataan yang bernilai benar atau salah saja yang digunakan dalam penalaran. Pernyataan disebut juga kalimat deklaratif yaitu kalimat yang bersifat menerangkan. Disebut juga proposisi. Pernyataan/ Kalimat Deklaratif/ Proposisi adalah kalimat yang bernilai benar atau salah tetapi tidak keduanya.
Contoh : 1. Yogyakarta adalah kota pelajar (Benar). 2. 2+2=4 (Benar).
Tidak semua kalimat berupa proposisi Contoh :
1. Dimanakah letak pulau bali?.
2. Pandaikah dia?. #penalaran deduktif penalaran yang didasarkan premis-premis yang diandaikan benar untuk menarik kesimpulan.
contoh:
1. semua mahasiswa baru mengikuti ospek.
2. wulandari adalah mahasiswa baru.
kesimpulannya : wulandari mengikut ospek.
#penalaran induktif penalaran yang didasarkan pada premis-premis yang bersifat faktual untuk menarik kesimpulan yang bersifat umum.
contoh:
premis 1 : ayam 1 berkembang biak dengan telur
premis 2 : ayam 2 berkembang biak dengan telur
premis 3 : ayam 3 berkembang biak dengan telur ... ... ...
premis 50 : ayam 50 berkembang biak dengan telur
kesimpulannya : semua ayam berkembang biak dengan telur Pernyataan:
• Pernyataan adalah kalimat yang mempunyai nilai kebenaran (salah/benar)
• Pernyataan yang tidak mengandung kata hubung kalimat,disebut pernyataan primer/tunggal/atom. Sedangkan pernyataan yang mengandung satu atau lebih kata hubung kalimat,disebut pernyataan majemuk. preposisi dilambangkan dengan huruf kecil p,q,r,s,...
contoh:
p : 13 adalah bilangan ganjil
q : soekarno adalah alumni UGM
r : ayam adalah binatang unggas
s : 2+2=4
3.PENGHUBUNG KALIMAT DAN TABEL KEBENARAN KATA HUBUNG KALIMAT
Simbol Arti Bentuk
KATA
HUBUNG KALIMAT
Simbol
|
Arti
|
Bentuk
|
¬/~
|
Tidak/Not/Negasi
|
Tidak………….
|
^
|
Dan/And/Konjungsi
|
……..dan……..
|
v
|
Atau/Or/Disjungsi
|
………atau…….
|
=>
|
Implikasi
|
Jika…….maka…….
|
< =>
|
Bi-Implikasi
|
……..bila dan hanya bila……..
|
TABEL
KEBENARAN
p
|
q
|
~p
|
~q
|
p^q
|
pvq
|
p=>q
|
p <=>q
|
|
B
|
B
|
S
|
S
|
B
|
B
|
S
|
B
|
|
B
|
S
|
S
|
B
|
S
|
B
|
B
|
S
|
|
S
|
B
|
B
|
S
|
S
|
B
|
B
|
B
|
|
S
|
S
|
B
|
B
|
S
|
S
|
S
|
B
|