Logika Informatika PDF

Logika Informatika 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...

Logika Informatika 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- aturan tertentu www.themegallery.com Sejarah Perkembangan Logika Thales (624 – 548 SM) mengenalkan Logika logika induktif Aristoteles (384 – 332 SM) mengenalkan Klasik logika sebagai ilmu → silogisme Augustus De Morgan (1806-1871), Induksi Logika Matematika, Hukum Ekuivalensi Logika De Morgan. Modern George Boole(1815-1871), Aljabar Boolean Giuseppe Peano (1858-1932), logika matematika dan teori Logika himpunan. Emil L Post(1897-1954), Tabel Kebenaran. Ludwig JJ Wittgenstein(1889-1951), Tabel Kebenaran. Matematika 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 Logika Matematika 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 berpkir, 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. 2x + 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 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 A∪B www.themegallery.com A∩B www.themegallery.com A−B www.themegallery.com  Latihan Tentukan Himpunan A Tentukan Himpunan B Tentukan A ∪ B Tentukan A ∩ B Tentukan A − B www.themegallery.com www.themegallery.com