Logika Informatika Kurniawan Saputra S Kom M Kom

Logika Informatika Kurniawan Saputra, S. Kom. , M. Kom Agiska Ria Supriyatna, S. Si, MTI L/O/G/O

Logika • Berasal dari bahasa Yunani logos • Ilmu untuk berfikir dan menalar dengan benar (sehingga didapatkan kesimpulan yang absah). • Kemampuan menalar adalah kemampuan untuk menarik konklusi yang tepat dari bukti-bukti yang ada, dan menurut aturan tertentu www. themegallery. com

Sejarah Perkembangan Logika Klasik • Thales (624 – 548 SM) mengenalkan logika induktif • Aristoteles (384 – 332 SM) mengenalkan logika sebagai ilmu silogisme Logika Modern • Augustus De Morgan (1806 -1871), Induksi Matematika, Hukum Ekuivalensi Logika De Morgan. • George Boole(1815 -1871), Aljabar Boolean Logika Matematika • Giuseppe Peano (1858 -1932), logika matematika dan teori himpunan. • Emil L Post(1897 -1954), Tabel Kebenaran. • Ludwig JJ Wittgenstein(1889 -1951), Tabel Kebenaran. • John Venn(1834 -1923), Diagram Venn. • Henry M Sheffer(1882 -1964), NAND, NOR. www. themegallery. com

Logika Informatika Disiplin ilmu yang mempelajari transformasi fakta berlambang yaitu data maupun informasi pada mesin berbasis komputasi dengan penalaran sehingga didapat suatu kesimpulan. Logika Matematika Logika Informatika www. themegallery. com

Manfaat logika • Membantu setiap orang yang mempelajari logika untuk berpikir secara rasional, kritis, lurus, tetap tertib, dan metodis. • Meningkatkan kemampuan berpikir secara abstrak, cermat, dan objektif. • Menambah kecerdasan dan meningkatkan kemampuan berpikir secara tajam dan mandiri. • Memaksa dan mendorong orang untuk berpikir sendiri dengan menggunakan asas-asas sistematis www. themegallery. com

Manfaat logika (2) • Meningkatkan cinta akan kebenaran dan menghindari kesalahan-kesalahan berpikir, kekeliruan serta kesesatan. • Mampu melakukan analisis terhadap suatu kejadian. • Meningkatkan citra diri seseorang karena sudah mampu berpikir rasional, kritis, lurus, metodis dan analitis www. themegallery. com

Istilah-istilah • Premis pernyataan • Argumen : usaha untuk mencari kebenaran dari pernyataan berupa kesimpulan dengan berdasarkan kebenaran dari satu kumpulan pernyataan. • Validitas argumen jika premis-premis benar maka harus diikuti dengan kesimpulan yang benar www. themegallery. com

Latihan • Dibawah ini ada beberapa yang berupa argumen, tentukan premis dan konklusinya! 1. Zodiak dia Leo, sebab dia lahir minggu pertama di bulan Agustus. 2. Bagaimana perekonomian akan meningkat? Defisit perdagangan meningkat setiap harinya. 3. Saya belum mau tidur, film-nya belum selesai. 4. Dia bernafas dan untuk itu dia hidup. 5. Adakah yang mengerti tentang dokumen ini? www. themegallery. com

Proposisi BENAR SALAH www. themegallery. com

CONTOH • 1. Semut lebih kecil dari kecoa • 2. 100 > 1000 • 3. Sekarang tahun 2015 dan presiden Indonesia adalah Pak Jokowi • 4. saya sedang sakit • 5. Ada ayam di bulan www. themegallery. com

LATIHAN 1. Ir. Soekarno adalah presiden pertama Indonesia 2. Kerjakan soal-soal ini! 3. Saya lebih cantik dari Raisa 4. 10 adalah bilangan prima 5. Hasil penjumlahan dua bilangan genap adalah bilangan ganjil 6. 2 x + y = 8 7. Ali lebih tinggi dari Anto www. themegallery. com

JENIS-JENIS PROPOSISI • PROPOSISI ATOMIK : proposisi yang tidak dapat dipecah-pecah menjadi proposisi penyusunnya. • PROPOSISI MAJEMUK : proposisi yang terdiri dari beberapa proposisi atomik. www. themegallery. com

CONTOH PROPOSISI ATOMIK • Mohammad Hatta adalah wakil presiden pertama RI • 5 adalah bilangan genap • Mahasiswa MI belajar di gedung seroja • 2+5 = 7 www. themegallery. com

Contoh Proposisi Majemuk • 3 adalah bilangan prima dan ganjil • Para dosen mendapat laptop dan honor • Jika kami rajin belajar maka kami akan lulus • Ayah pergi ke kantor jika anak-anak sudah pergi sekolah • Jika 1+1 = 5 maka waktu akan berhenti berputar www. themegallery. com

Latihan • Buat 3 contoh proposisi atomik • Buat 3 contoh proposisi majemuk www. themegallery. com

Diagram Venn • Diagram Venn adalah diagram yang menunjukkan semua kemungkinan hubungan logika di antara sekelompok(set/himpunan/grup) benda/objek. • Sebagai bagian ilmu matematika, diagram Venn ini pertama kali diperkenalkan pada tahun 1880 oleh John Venn untuk menunjukkan hubungan sederhana dalam topik-topik di bidang logika, probabilitas, statistik, linguistik dan ilmu komputer. www. themegallery. com

Gambar Diagram Venn www. themegallery. com

www. themegallery. com

www. themegallery. com

www. themegallery. com

Latihan • www. themegallery. com

www. themegallery. com