Kurniawan Saputra, S.Kom., M.Kom Agiska Ria Supriyatna, S.Si, MTI

Presentasi berjudul: "Kurniawan Saputra, S.Kom., M.Kom Agiska Ria Supriyatna, S.Si, MTI"— Transcript presentasi:

1 Kurniawan Saputra, S.Kom., M.Kom Agiska Ria Supriyatna, S.Si, MTI
Logika Informatika Kurniawan Saputra, S.Kom., M.Kom Agiska Ria Supriyatna, S.Si, MTI

2 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

3 Sejarah Perkembangan Logika
Thales (624 – 548 SM) mengenalkan logika induktif Aristoteles (384 – 332 SM) mengenalkan logika sebagai ilmu  silogisme Logika Klasik Augustus De Morgan ( ), Induksi Matematika, Hukum Ekuivalensi Logika De Morgan. George Boole( ), Aljabar Boolean Logika Modern Giuseppe Peano ( ), logika matematika dan teori himpunan. Emil L Post( ), Tabel Kebenaran. Ludwig JJ Wittgenstein( ), Tabel Kebenaran. John Venn( ), Diagram Venn. Henry M Sheffer( ), NAND, NOR. Logika Matematika

4 Logika Matematika Logika Informatika 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

5 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

6 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

7 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

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

9 Proposisi SALAH BENAR

10 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

11 LATIHAN Ir. Soekarno adalah presiden pertama Indonesia
Kerjakan soal-soal ini! Saya lebih cantik dari Raisa 10 adalah bilangan prima Hasil penjumlahan dua bilangan genap adalah bilangan ganjil 2x + y = 8 Ali lebih tinggi dari Anto

12 JENIS-JENIS PROPOSISI
PROPOSISI ATOMIK : proposisi yang tidak dapat dipecah-pecah menjadi proposisi penyusunnya. PROPOSISI MAJEMUK : proposisi yang terdiri dari beberapa proposisi atomik.

13 CONTOH PROPOSISI ATOMIK
Mohammad Hatta adalah wakil presiden pertama RI 5 adalah bilangan genap Mahasiswa MI belajar di gedung seroja 2+5 = 7

14 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

15 Latihan Buat 3 contoh proposisi atomik Buat 3 contoh proposisi majemuk

16 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.

17 Gambar Diagram Venn

18 A ∪ B

19 A ∩ B

20 A − B

21 Latihan Tentukan Himpunan A Tentukan Himpunan B Tentukan A ∪ B

22 Terima Kasih