Pegertian Dan Contoh Logika Informatika

• Definisi logika adalah ilmu pengetahuan yang mempelajari atau berkaitan dengan prinsip-prinsip dari penalaran argument yang valid.
•  Menurut pendapat ahli, logika adalah studi tentang kriteria-kriteria untuk mengevaluasi argumen-argumen dengan menentukan mana argumen yang valid dan mana yang tidak
• valid, dan membedakan antara argumen yang baik dengan yang tidak baik.
• Definisi logika adalah ilmu pengetahuan yang mempelajari atau berkaitan dengan prinsip-prinsip dari penalaran argumenyang valid.
• Menurut pendapat ahli, logika adalah studi tentang kriteria-kriteria untuk mengevaluasi argumen-argumen dengan menentukan mana argumen yang valid dan mana yang tidak valid, dan membedakan antara argumen yang baik dengan yang tidak baik.

Asal usul logika

• Dipelajari sebagai sebagai salah satu cabang ilmu filsafat
• Sejak tahun 1800-an logika dipelajari di bidang matematika
• Sekarang ini juga di bidang ilmu komputer, baik bidang software atau hardware
• Dipelajari sebagai sebagai salah satu cabang ilmu filsafat
• Sejak tahun 1800-an logika dipelajari di bidang matematika
• Sekarang ini juga di bidang ilmu komputer, baik bidang software atau hardware

---

Argumen

• Argumen adalah suatu usaha untuk mencari kebenaran dari suatu pernyataan berupa kesimpulan dengan berdasarkan pada kebenaran dari satu kumpulan premis-premis.
• Bentuk argumen artinya sekumpulan pernyataan yang terdiri dari premis-premis dan diikuti satu kesimpulan.
•  Argumen adalah suatu usaha untuk mencari kebenaran dari suatu pernyataan berupa kesimpulan dengan berdasarkan pada kebenaran dari satu kumpulan premis-premis.
• Bentuk argumen artinya sekumpulan pernyataan yang terdiri dari premis-premis dan diikuti satu kesimpulan.

Contoh

1. Semua mahasiswa pandai…(pernyataan ke-1) Badu adalah mahasiswa…(pernyataan ke-2) Dengan demikian, Badu pandai….(kesimpulan)
2. Semua manusia bermata empat…(pernyataan ke-1) Badu seorang manusia…(pernyataan ke-2) Dengan demikian, Badu bermata empat….(kesimpulan)

Pertanyaan:

•  Mana yang dikatakan logis ?
• Mana yang di katakan valid ?

Logika hanya berhubungan dengan kesimpulan yang valid, dan diperoleh dari prinsip-prinsip penalaran yang valid. Validitasnya juga dapat dibuktikan dengan menggunakan aturan-aturan logika yang telah diterima keabsahannya.

---

Logika Matematika

• Definisi: aturan-aturan logika yang menggunakan kaidahkaidah matematika tersebut dipergunakan untuk membuktikan validitas suatu argumen.
• Logika matematika merupakan dasar-dasar penting bagi seseorang jika ingin belajar ilmu komputer dengan baik.
• Jika ilmu komputer diumpamakan rumah, maka logika adalah fondasi rumah tersebut.
• Logika yang kuat akan membentuk kemampuan pemrograman yang kuat pula.

---

Validitas Argumen

• Definisi: premis-premis yang diikuti oleh suatu kesimpulan yang berasal dari premis-premisnya dan bernilai benar
• Validitas dapat dibedakan dengan kebenaran dari kesimpulan.
• Jika satu atau lebih premis-premis salah, maka kesimpulan dari argumen tersebut juga salah

Contoh

1. Semua mamalia adalah hewan berkaki empat. Semua manusia adalah mamalia. Dengan demikian, semua manusia adalah binatang berkaki empat. Argumen yang valid tapi premis pertama bernilai salah
2. Ada jenis makhluk hidup berkaki dua. Semua manusia adalah maklhuk hidup. Dengan demikian, semua manusia berkaki dua. Argumen yang tidak valid, tetapi menghasilkan kesimpulan yang benar meskipun tidak mengikuti premis-premisnya
3. Semua mahasiswa rajin belajar. Badu seorang mahasiswa. Dengan demikian, Dewi rajin belajar. Kesimpulan yang tidak ada hubungan dengan premis-premisnya dan premis-premisnya bernilai benar, tetapi jelas bukan argumen yang kuat secara logis Kesimpulan yang tidak ada hubungan dengan premis-premisnya dan premis-premisnya bernilai benar, tetapi jelas bukan argumen yang kuat secara logis
4. Semua binatang yang dapat terbang. Gajah adalah binatang. Dengan demikian, gajah dapat terbang. Argumen dapat dikatakan valid, tetapi validitasnya tidak kuat dan premis pertama bernilai salah.

Kesimpulan dari contoh 1-4

• Logika hanya mempermasalahkan bentuk dari argumen, bukan isi argumen
• Validitas yang logis adalah hubungan antara premis-premis dengan kesimpulan yang memastikan bahwa jika premis benar, maka harus diikuti dengan kesimpulan yang benar, yang diperoleh dengan menggunakan aturan-aturan logika. Kesimpulan juga harus berasal dari premis-premisnya.
•  Argumen logis disebut kuat secara logis, jika dan hanya jika argumennya valid dan semua premisnya bernilai benar

---

Sumber : Materi Kuliah Loika Informatika UBY

Share this post