Pengenalan Logika Informatika

Pengenalan Logika Informatika
Pertemuan 1
Viska Armalina, ST.,M.Eng
Pendahuluan





Asal kata Logika  Logic (Bahasa Inggris)  Logos
(Yunani)
Arti : dalam bahasa Inggris : Word, Speech, what is
spoken, thought, reason.
Dahulu logika sebagai cabang dari ilmu filsafat.
Tahun 1800 an, logika mulai dipelajari di bidang
matematika.
Sekarang, logika juga dipelajari di bidang ilmu
komputer  logika mempengaruhi ilmu komputer
baik software maupun hardware.
Definisi Logika


Logika adalah ilmu pengetahuan yang
mempelajari/berkaitan dengan prinsipprinsip dari penalaran argumen yang valid.
Logika adalah studi tentang kriteriakriteria untuk mengevaluasi argumenargumen dengan menentukan mana
argumen yang valid, dan membedakan
antara argumen yang baik dengan yang
tidak baik.
Sejarah Logika (1)



Logika lahir bersama-sama dengan lahirnya filsafat
di Yunani.
Logika pertama kali dikemukakan oleh Aristoteles,
pada abad 4 SM. Ia merumuskan logika dengan cara
menuliskan argumen/pendapat yang akan bisa
dibuktikan kebenarannya.
Banyak pemikir yang menemukan konsep-konsep
lain tentang logika tetapi masih berkisar pada
pemikiran Aristoteles
Sejarah Logika (2)

Pada paruh terakhir abad 19 dengan
tokoh-tokoh baru dengan pemikiranpemikiran baru yaitu:
Istilah Lain dari Logika


Logika Simbol (Symbolic Logic) karena
mempelajari
usaha-usaha
menyimbolisasikan logika secara formal.
Logika Formal (Formal Logic) : Logika
sebagai sistem formal yang menjelaskan
peranan
sekumpulan
rumus-rumus
ataupun sekumpulan aturan untuk
derivasi.
Argumen


Argumen : suatu usaha untuk mencari
kebenaran dari suatu pernyataan berupa
kesimpulan dengan berdasarkan pada
kebenaran dari satu kumpulan pernyataan
yang disebut premis-premis.
Bentuk Argumen : sekumpulan pernyataan
yang terdiri dari premis-premis dan diikuti
satu kesimpulan.
Contoh Argumen (1)


Semua mahasiswa pandai
Premis
Budi adalah mahasiswa
Dengan demikian, Budi pandai. Kesimpulan
Argumen di atas dikatakan Logis, karena
pernyataan 1 dan 2  Premis, diikuti oleh
satu pernyataan berupa kesimpulan yang
pasti mengikuti dan berasal dari premispremisnya.
Contoh Argumen (2)


Semua manusia berkaki empat
Budi seorang manusia
Dengan demikian, Budi berkaki empat.
Contoh argumen ini akan menimbulkan
perdebatan meskipun secara teori ,
kesimpulan tetap mengikuti premispremisnya.
Logika Informatika


Aturan-aturan logika yang menggunakan
kaidah-kaidah tertentu dalam informatika
yang dipergunakan untuk membuktikan
validitas suatu argumen.
Aturan-aturan logika yang menggunakan
kaidah-kaidah tertentu dalam matematika
yang dipergunakan untuk membuktikan
validitas suatu argumen dalam bidang
informatika.
Validitas Argumen


Validitas Argumen : premis-premis yang diikuti oleh suatu
kesimpulan yang berasal dari premis-premisnya dan bernilai
benar.
Validitas yang logis adalah hubungan antara premis-premis
dengan kesimpulan yang memastikan bahwa premis-premis
benar, maka harus diikuti dengan kesimpulan yang benar juga,
yang diperoleh dengan menggunakan aturan-aturan logika.
Kesimpulan juga harus berasal dari premis-premisnya.
Contoh Validitas Argumen (1)




Semua mamalia adalah hewan berkaki empat.
Semua manusia adalah mamalia.
Dengan demikian, semua manusia adalah binatang berkaki empat.
Valid, tetapi premis pertama salah.
Mengapa argumen di atas valid??
Tautology  Valid kebenarannya secara fungsional
Contoh Validitas Argumen (2)


Semua makhluk hidup berkaki dua
Manusia adalah makhluk hidup
Dengan demikian,semua manusia berkaki dua.
Tidak valid, tetapi menghasilkan kesimpulan yang benar meskipun
tidak mengikuti premisnya.
Kesimpulan


Logika hanya mempermasalahkan bentuk argumen,
bukan isi argumen.
Argumen Logis dikatakan kuat secara logis, jika dan
hanya jika memenuhi syarat :
a. argumennya valid
b. semua premis-premisnya bernilai benar.
LOGIKA KLASIK / LOGIKA TRADISIONAL
Silogisme

Menurut Aristoteles, silogisme adalah suatu argumen yang terbentuk
dari pernyataan-pernyataan dengan salahsatu atau keempat bentuk
berikut :

Huruf A dan B diatas menggantikan suatu kata benda, misalnya
‘manusia’, ‘cuaca’, dan sebagainya yang disebut terms of syllogism
atau pokok dari silogisme.
Silogisme Sempurna



Suatu silogisme yang berbentuk sempurna (well-formed syllogism)
adalah silogisme yang memiliki dua buah premis dan satu
kesimpulan, dimana setiap premis memiliki satu pokok (term)
bersama dengan kesimpulan dan satu lagi pokok bersama dengan
premis lainnya.
Contoh sebuah silogisme sempurna:
Premis : Semua A adalah B.
Premis : Semua B adalah C.
Konklusi : Semua A adalah C.
Pada premis pertama, A sama dengan A pada kesimpulan, dan ia juga
memiliki B yang sama dengan B pada premis kedua.
LOGIKA MODERN / LOGIKA SIMBOLIK
Sejarah Logika Modern




Perkembangan dari logika Aristoteles.
Para pakar yang mengembangkan logika modern :
a. Augustus De Morgan (1806-1871) dan George Boole (1815-1864).
b. Gottlob Frege (1848-1925)
c. Bertrand Russell (1872-1970) dan Alfred North Whitehead (18611947)
Logika yang dikembangan Bertrand Russell dan Alfred North
Whitehead mengenalkan simbol-simbol untuk kalimat yang lengkap
dan perangkai (connectives), misalnya : “and”, “or”, “if…then…”, “…if
and only if,,,”, dsb.
Logika Modern menjadi dasar pembuatan Aljabar Boolean (Boolean
Algebra) yang dikembangkan oleh George Boole dan menjadi dasar
teori pengembangan komputer digital, terutama mikroprosessor.
Manfaat Logika Informatika(1)


Logika informatika digunakan dalam semua bidang pada ilmu
informatika. Dari pembuatan konsep, penulisan software hingga cara
kerja hardware.
Beberapa manfaat logika informatika:
1. Membuat program
Contoh, struktur IF-THEN...ELSE dalam bahasa Pascal
IF kondisi THEN
Statemen1
ELSE
Statemen2;
Manfaat Logika Informatika(2)
2. Database
Contoh, mencari daftar mahasiswa STIKOM angkatan 2008 yang
memiliki nilai IPK 4.
3. Cara kerja komputer (mesin)
Level logika pada komputer. Masing-masing level komputer
menggunakan level logika yang berbeda (dari logika elektronik 0
dan 1 hingga logika manusia dalam bahasa pemrograman tingkat
tinggi) tetapi semua bekerja berdasar prinsip-prinsip logika.
Penerapan Logika Informatika(1)

Search engine google menggunakan prinsip logika dalam
pencariannya.
a. Menggunakan operator AND (Dilambangkan dengan tanda +)
Pencarian akan ’teknik+informatika’ di Google akan menghasilkan data
yang terdiri dari teknik dan informatika.
Penerapan Logika Informatika(2)
b. Menggunakan operator OR untuk Pencarian dengan
ketentuan ’teknik OR informatika’.
Hasil pencarian
informatika saja.
akan
menampilkan
kata
teknik
saja
atau
Penerapan Logika Informatika(3)
c. Menggunakan operator NOT (dilambangkan dengan tanda - )
Pencarian dengan ketentuan teknik NOT informatika, dilambangkan
dengan ’teknik – informatika’ akan menghasilkan pencarian akan
kata ’teknik’ saja, yang tidak mengandung kata ’informatika’.