01 - Pengantar Logika.pptx
-
Upload
devitanovitasari-mejengkuselaludihati-nurulislamihati -
Category
Documents
-
view
218 -
download
0
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