01 - Pengantar Logika.pptx

download 01 - Pengantar Logika.pptx

of 20

Transcript of 01 - Pengantar Logika.pptx

  • 8/18/2019 01 - Pengantar Logika.pptx

    1/20

    Logika InformatikaPengantar Logika

     Tutik Khotimah, M.Kom

  • 8/18/2019 01 - Pengantar Logika.pptx

    2/20

    Tujuan Instruksional

    Logika Informatika | Teknik InformatikaUniversitas Muria Kudus - 2016

     Pengertian Logika

     Ilmu ang !i"erlukan dalam Logika

    Pengantar

    Logika

    Pengantar

    Logika

     #ejara$ dan Perkem%anganLogika

     Ma&am-ma&am Logika

  • 8/18/2019 01 - Pengantar Logika.pptx

    3/20

    Pengertian Logika

    Logika Informatika | Teknik InformatikaUniversitas Muria Kudus - 2016

    Logika(Logic)

    Logos(Bahasa Yunani)

    KataUcapanAlasan

    Logika adalah ilmu ang !erhu!ungan dengan prinsip"prinsip#aliditas penalaran $ argumen"argumen

    Para Ahli

    Logika adalah studi tentang kriteria"kriteria untuk

    menge#aluasi argumen"argumen dengan menentukanargumen ang valid dan argumen ang tidak valid,

    serta mem!edakan antara argumen ang %aik dengan

    argumen ang tidak %aik 

  • 8/18/2019 01 - Pengantar Logika.pptx

    4/20

    'rgumen

    Argumen adalah suatu usaha untuk mencarike!enaran dari suatu pernataan !erupa kesimpulan!erdasarkan pada ke!enaran dari sekumpulan premis.

    Bentuk argumen artina sekumpulan pernataan ang

    terdiri dari premis"premis $ diikuti satu kesimpulan.%aliditas argumen adalah premis"premis ang diikuti

    oleh kesimpulan ang !erasal dari premis"premisnadan !ernilai !enar.

    %aliditas dapat di!edakan dengan ke!enaran darikesimpulan.

     &ika satu atau le!ih premis"premis salah, makakesimpulan dari argumen terse!ut 'uga salah.

    Logika Informatika | Teknik InformatikaUniversitas Muria Kudus - 2016

  • 8/18/2019 01 - Pengantar Logika.pptx

    5/20

    'rgumen

    (onto$

    . emua mamalia adalah he*an !erkaki empat.

    emua manusia adalah mamalia.

    +engan demikian, semua manusia adalah!inatang !erkaki empat

    Argumen ang #alid tapi premis pertama !ernilai

    salah.

    Logika Informatika | Teknik InformatikaUniversitas Muria Kudus - 2016

  • 8/18/2019 01 - Pengantar Logika.pptx

    6/20

    'rgumen

    (onto$

    . Ada 'enis makhluk hidup !erkaki dua.

    emua manusia adalah makhluk hidup.

    +engan demikian, semua manusia !erkaki dua

    Argumen ang tidak #alid tapi menghasilkankesimpulan ang !enar meski pun tidak

    mengikuti premis"premisna.

    Logika Informatika | Teknik InformatikaUniversitas Muria Kudus - 2016

  • 8/18/2019 01 - Pengantar Logika.pptx

    7/20

    'rgumen

    (onto$

    -. emua mahasis*a ra'in !ela'ar.

    +edi adalah mahasis*a.

    +engan demikian, +e*i ra'in !ela'ar.

    Kesimpulan ang tidak ada hu!ungan denganpremis"premisna dan premis"premisna !ernilai

    !enar, tetapi 'elas !ukan argumen ang kuatsecara logis

    Logika Informatika | Teknik InformatikaUniversitas Muria Kudus - 2016

  • 8/18/2019 01 - Pengantar Logika.pptx

    8/20

    'rgumen

    Kesim"ulan dari (onto$ 1-)

    Logika hana mempermasalahkan !entuk dariargumen, !ukan isi argumen.

    %aliditas ang logis adalah hu!ungan antara premis"premis dengan kesimpulan ang memastikan !ah*a 'ika premis !enar, maka harus diikuti dengankesimpulan ang !enar, ang diperoleh denganmenggunakan aturan"aturan logika. Kesimpulan

     'uga harus !erasal dari premis"premisna. Argumen logis dise!ut kuat secara logis, 'ika dan

    hana 'ika argumen #alid dan semua premisna!ernilai !enar.

    Logika Informatika | Teknik InformatikaUniversitas Muria Kudus - 2016

  • 8/18/2019 01 - Pengantar Logika.pptx

    9/20

    Lati$an 'rgumen

    . Mahasis*a UMK cerdas dan santun.

    +edi adalah mahasis*a UMK.

    +engan demikian, +edi cerdas dan santun.

    . emua anak T suka koding.

    Ara tidak suka koding.

    +engan demikian, Ara !ukan anak T.

    -. emua anak T pintar matematika.

    /ino adalah anak T.

    +engan demikian, /ani pintar matematika.

    0.  &ika hari ini hu'an deras, Ani tidak !erangkat ke kampus.

    1ari ini hu'an deras.

    +engan demikian, Ani tetap !erangkat ke kampus.

    2.  &ika Andi ra'in !ela'ar, maka ia lulus u'ian.

     &ika Andi lulus u'ian, maka ia naik kelas.

    +engan demikian, 'ika Andi ra'in !ela'ar maka ia naik kelas.Logika Informatika | Teknik InformatikaUniversitas Muria Kudus - 2016

  • 8/18/2019 01 - Pengantar Logika.pptx

    10/20

    #ejara$ * Perkem%anganLogika

    Logika dipela'ari se!agai salah satu ca!ang ilmu3lsa4at.

    e'ak tahun 566"an logika dipela'ari di !idang

    matematika

    aat ini logika dipela'ari di !idang komputer, !aiksofware mau pun hardware

    Logika Informatika | Teknik InformatikaUniversitas Muria Kudus - 2016

  • 8/18/2019 01 - Pengantar Logika.pptx

    11/20

    Ma&am-Ma&am Logika

    Logika Informatika | Teknik InformatikaUniversitas Muria Kudus - 2016

    ilogisme !entuk sempurna 'ika memiliki premis $ kesimpulan dimana setiap premisLogika Aristoteles

     Tokoh7 Aristoteles

    Logika Aristotelesilogisme !entuk sempurna 'ika memiliki premis $ kesimpulan dimana setiap premis

     Tokoh7 Aristoteles

  • 8/18/2019 01 - Pengantar Logika.pptx

    12/20

    Logika Klasik+Tradisional

    emua A adalah B(Universal Armative)

     Tidak A adalah B(Universal Negative)

    Be!erapa A adalah B(Particular Armative)

    Be!erapa A adalah tidakB (Particular Negative)

    Logika Informatika | Teknik InformatikaUniversitas Muria Kudus - 2016

    Aristoteles (-50"- B8)9ilsu4 $ ahli sains Yunani

    Logika Aristoteles ( Aristotelian Logic)

    'turan#ilogism

    e

  • 8/18/2019 01 - Pengantar Logika.pptx

    13/20

    Logika Klasik+Tradisional

    Logika Informatika | Teknik InformatikaUniversitas Muria Kudus - 2016

    ilogisme ang !er!entuk sempurna (*ell"4ormedslogism) terdiri dari !uah premis dan kesimpulan di mana setiap premis memiliki satupokok (term) !ersama dengan kesimpulan dansatu lagi pokok !ersama dengan premis lain.

    Aturan"aturan telah dirumuskan agar suatu *ell"4ormed slogism dapat dipastikan merupakansuatu !entuk argumen ang #alid atau tidak #alid.

  • 8/18/2019 01 - Pengantar Logika.pptx

    14/20

    Logika Modern

    Logika Informatika | Teknik InformatikaUniversitas Muria Kudus - 2016

    Logika modern dikem!angkan dari logika Aristoteles olehAugustus +e Morgan (56:"5;) $ orth ?hitehead mem!ahas argumen"argumen ang memungkinkan sesuatu dapat dimasukkan kedalam !entuk ang le!ih luas dari silogistik

    +alam !entuk !iasa, semua *ell"4ormed sentences logika modern

    memiliki satu nilai sa'a, aitu !enar (true@) atau salah (4alse@6)sehingga dise!ut logika dua nilai (t*o #alued logic) atau !i#alent

    ?ell"4ormed sentences di4ormulasikan dalam !entuk rumussehingga dinamakan *ell"4ormed 4ormulae.

  • 8/18/2019 01 - Pengantar Logika.pptx

    15/20

    Logika Modern

    Logika matematika ang menangani masalah well-formedformulae ang hana memiliki nilai !enar atau salah

    Logika Informatika | Teknik InformatikaUniversitas Muria Kudus - 2016

    Logika Proposisional (logika im!olik)

  • 8/18/2019 01 - Pengantar Logika.pptx

    16/20

    Logika Modern

     Tokoh"tokoh Logika Modern7

    Augustus +e Morgan $

  • 8/18/2019 01 - Pengantar Logika.pptx

    17/20

    Logika ,anak ilai

    Logika !anak nilai (man"#alued logic)diperkenalkan oleh &an Lukasie*icsC, ahlimatematika Polandia, pada tahun =6. ia

    memperkenalkan nilai ketiga di antara 6 dan Lot3 A Fadeh, ahli sains dari ran (Persia),

    memperkenalkan 1impunan 9uCC (9uCC ets)dan cara memanipulasina secara matematis.

     Tahun =;- ia memperkenalkan istilah 9uCCLogic.

    Logika Informatika | Teknik InformatikaUniversitas Muria Kudus - 2016

  • 8/18/2019 01 - Pengantar Logika.pptx

    18/20

    Logika Matematika

    Logika matematika adalah aturan"aturan logika angmenggunakan kaidah"kaidah matematika untuk

    mem!uktikan #aliditas suatu argumen.

    Logika matematika merupakan dasar penting !agiseseorang 'ika ingin !ela'ar di !idang komputer dengan!aik.

    Logika matematika men'adi dasar untuk mempela'arialgoritma $ pemrograman, struktur data, sistem digital,

    !asis data, rekaasa perangkat lunak, kecerdasan!uatan, sistem pakar, 'aringan sara4 tiruan ds!

    Logika ang kuat akan mem!entuk kemampuanpemrograman ang kuat pula.

    Logika Informatika | Teknik InformatikaUniversitas Muria Kudus - 2016

  • 8/18/2019 01 - Pengantar Logika.pptx

    19/20

    Ilmu ang !i"erlukan dalamLogika

    Untuk mempela'ari logika dengan sempurna, ada !e!erapailmu ang !erkaitan aitu7

    Logika Informatika | Teknik InformatikaUniversitas Muria Kudus - 2016

    emantik@9ilsa4at Bahasa

  • 8/18/2019 01 - Pengantar Logika.pptx

    20/20

    Tugas Kelom"ok 

    Bentuk kelompok dengan anggota maksimal 2 orang

     8ari masalah@kasus dalam kehidupan sehari"hari