1 logika informatika

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 1/25

Logika Informatika

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 2/25

Silabus

Pengantar Logika Informatika

Logika Proposisi

Logika Predikat

UTS

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 3/25

Silabus (2)

Himpunan

Relasi dan Fungsi Bagian

Aljabar Boolean

UAS

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 4/25

Ref er ensi

Nolt, John, 1990, Schaum's Outline Of Theory And Problems of Logic 2nd Edition. McGraw-Hill.

Nolt, John, 1990, Schaum's Outline Of Set Theory And Related Topics 2nd Edition. McGraw-Hill.

Lipson, 1997, Schaum's Outline Of Theory And 

Problems of Discrete Mathematics 2nd Edition. McGraw-Hill.

Mordechai Ben-Ari, 1948, Mathematical Logic for Computer Science, Springer.

Srivastava, 2008, A Course on Mathematical Logic .Springer.

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 5/25

Logika

Dari bahasa Yunani logos Ilmu untuk berfikir dan menalar dengan benar 

(sehingga didapatkan kesimpulan yang absah).

Manusia mampu mengembangkan pengetahuan

karena mempunyai bahasa dan kemampuanmenalar.

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 6/25

Logika

Untuk dapat menarik konklusi yang tepat,diperlukan kemampuan menalar.

Kemampuan menalar adalah kemampuan untukmenarik konklusi yang tepat dari bukti-buktiyang ada, dan menurut aturan-aturan tertentu.

Logika bisa merupakan cabang filosofi dan bisa juga cabang dari matematika

Logika terkategori matematika murni karenamatematika adalah logika yang tersistematisasi.

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 7/25

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 8/25

Sejarah Logika

Aristoteles (384 ± 332 SM) mengenalkan logikasebagai ilmu. Aristoteles mengatakan bahwa

kesimpulan Thales diperoleh dari alasan bahwa

air adalah jiwa segala sesuatu.

Inti dari logika Aristoteles adalah Silogisme.

Istilah logika diperkenalkan oleh Zeno (334 ±

226 SM).

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 9/25

Sejarah Logika

Augustus De Morgan (1806-1871), InduksiMatematika, Hukum Ekuivalensi Logika DeMorgan.

George Boole(1815-1871), Aljabar Boole.

Giuseppe Peano (1858-1932), Penemu istilahlogika matematika dan teori himpunan.

Emil L Post(1897-1954), Tabel Kebenaran.

Ludwig JJ Wittgenstein(1889-1951), TabelKebenaran.

John Venn(1834-1923), Diagram Venn. Henry M Sheffer(1882-1964), NAND, NOR.

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 10/25

Macam Logika

Logika alamiah kinerja akal budi manusia yang berpikir secara

tepat dan lurus sebelum dipengaruhi olehkeinginan-keinginan dan kecenderungan-

kecenderungan yang subyektif. Kemampuanlogika alamiah manusia ada sejak lahir.

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 11/25

Macam Logika

Logika ilmiah Logika ilmiah memperhalus, mempertajam

pikiran serta akal budi.

Logika ilmiah menjadi ilmu khusus yang

merumuskan azas-azas yang harus ditepatidalam setiap pemikiran. Berkat pertolonganlogika ilmiah inilah akal budi dapat bekerjadengan lebih tepat, lebih teliti, lebih mudah dan

lebih aman. Logika ilmiah dimaksudkan untukmenghindarkan kesesatan atau, paling tidak,dikurangi.

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 12/25

Informatika

Disiplin ilmu yang mempelajari transformasifakta berlambang yaitu data maupun informasipada mesin berbasis komputasi.

Cakupan bidang informatika antara lain: ilmu

komputer, ilmu informasi, sistem informasi,teknik komputer dan aplikasi informasi dalamsistem informasi manajemen.

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 13/25

Informatika

Mempunyai konsep dasar, teori, danperkembangan aplikasi tersendiri.

Dapat mendukung dan berkaitan dengan aspekkognitif dan sosial, termasuk tentang pengaruh

serta akibat sosial dari teknologi informasi padaumumnya.

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 14/25

Aspek Informatika

Teori informasi yang mempelajari konsepmatematis dari suatu informasi

Ilmu informasi yang mempelajari tentang cara

pengumpulan, klasifikasi, manipulasi

penyimpanan, pengaksesan, dan

penyebarluasan informasi untuk keperluan

sosial dan kemasyarakatan secara menyeluruh

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 15/25

Aspek Informatika

Ilmu komputer dan teknik komputer yangmempelajari tentang pemrosesan, pengarsipan,

dan penyebaran informasi dengan

menggunakan teknologi informasi dan alat lain

yang berbasis komputer.

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 16/25

Logika Informatika

Disiplin ilmu yang mempelajari transformasifakta berlambang yaitu data maupun informasi

pada mesin berbasis komputasi dengan

penalaran sehingga didapat suatu kesimpulan.

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 17/25

Logika Informatika

Logika proposisional ± Fokus utama logika ini pada pernyataan-pernyataan

yang dapat digolongkan dalam pengertian proposisi-

proposisi.

Logika predikat ± Penyataan-pernyataan yang tidak dapat digolongkan

sebagai proposisi, dan tidak dapat diproses dengan

logika proposisional, akan ditangani logika predikat

yang memfokuskan diri pada predikat yang selalumenyertai suatu pernyataan dalam bentuk kalimat.

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 18/25

Manfaat Logika

Berfikir/nalar  Penyelesaian masalah

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 19/25

Manfaat Logika

Membantu setiap orang yang mempelajarilogika untuk berpikir secara rasional, kritis,lurus, tetap, tertib, metodis dan koheren.

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-asassistematis

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 20/25

Manfaat Logika

Meningkatkan cinta akan kebenaran danmenghindari kesalahan-kesalahan berpkir,kekeliruan serta kesesatan.

Mampu melakukan analisis terhadap suatukejadian.

Terhindar dari klenik , gugon-tuhon ( bahasaJawa )

Apabila sudah mampu berpikir rasional,kritis,lurus,metodis dan analitis sebagaimana

tersebut point 1 maka akan meningkatkan citradiri seseorang.

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 21/25

Istilah-Istilah

Premis : pernyataan. Argumen : usaha untuk mencari kebenaran dari

pernyataan berupa kesimpulan dengan

berdasarkan kebenaran dari satu kumpulan

pernyataan.

Konklusi : kesimpulan

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 22/25

Contoh silogisme 

 ± Premis : Semua A adalah B

 ± Premis : Semua B adalah C

 ± Konklusi : Semua A adalah C

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 23/25

Latihan

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 24/25

Dibawah ini ada beberapa yang berupaargumen, tentukan premis dan konklusinya!

1. Zodiak dia Leo, sebab dia lahir minggupertama di bulan Agustus.

2. Bagaimana perekonomian akan meningkat?Defisit perdagangan meningkat setiapharinya.

3. Saya belum mau tidur, film-nya belumselesai.

4. Dia bernafas dan untuk itu dia hidup.5. Adakah yang mengerti tentang dokumen ini?

8/7/2019 1 logika informatika

http://slidepdf.com/reader/full/1-logika-informatika 25/25

1. Premis : Dia lahir minggu pertama di bulan Agustus. konklusi : Zodiak dia Leo

2. Bukan argumen. Jika berupa argumen,maka premis : Defisit perdaganganmeningkat setiap hari. Konklusi : Ekonomi

tidak bisa meningkat.3. Premis : Film-nya belum selesai. Konklusi :

Saya belum mau tidur.

4. Bukan argumen. Jika berupa argumen,

maka premis : Dia bernafas. Konklusi : Diahidup.

5. Bukan argumen.