pada postingan kali ini admin akan membrikan sedikit ilmu tentang logika informatika.
mungkin agan2 yang lagi butuh referensi ini buat mata kuliah..hehehe
oke langsung aja..cekidot
1.
PENGENALAN LOGIKA INFORMATIKA
A.
Pendahuluan
Logika
(Logic) berasal dari kata bahasa Yunani "logos".
Definisi logika
adalah ilmu pengetahuan yang mempelajari atau berkaitan dengan
prinsip-prinsip dari penalaran argumen yang valid. Logika adalah studi tentang
kriteria-kriteria untuk
mengevaluasi argumen-argumen dengan menentukan
mana argumen yang valid dan mana yang tidak valid, dan membedakan antar
argumen yang baik dengan yang tidak baik.
Logika dipelajari
sebagai sistem formal yang menjelaskan peranan sekumpulan rumus-rumus
ataupun sekumpulan aturan untuk derivasi. Derivasi dipahami sebagai
pembuktian validitas argumen yang kuat dengan didukung kenyataan bahwa kesimpulan yang benar
harus diperoleh dari premis-premis yang benar.
Logika secara
umum berhubungan dengan penalaran deduktif yang hanya secara umum
mengambil kesimpulan dari premis-premisnya. Berbeda dengan penalaran
induktif yakni studi tentang pengambilan kesimpulan umum yang diperoleh dari suatu
penelitian atau observasi.
Logika
pertama kali dikembangkan oleh Aristoteles dan disebut Logika Tradisional
atau Logika Klasik sekitar 300 tahun sebelum Masehi. Setelah 2000 tahun
kemudian dikembangkanlah Logika Modern dari Logika Klasik oleh George Boole dan Augustus
De Morgan sekitar abad XIX. Logika ini juga disebut Logika Simbolik karena
menggunakan simbol-simbol logika.