1. LOGIKA
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
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 :
Yogyakarta adalah
kota pelajar (Benar).
2+2=4 (Benar).
Tidak semua kalimat berupa proposisi
Contoh :
Dimanakah letak
pulau bali?.
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

EmoticonEmoticon