pengenalan logika matematika
DESCRIPTION
Logika MatematikaTRANSCRIPT
![Page 1: Pengenalan Logika Matematika](https://reader035.vdocuments.pub/reader035/viewer/2022070414/55cf96b7550346d0338d53d4/html5/thumbnails/1.jpg)
Pengenalan Logika Matematika
![Page 2: Pengenalan Logika Matematika](https://reader035.vdocuments.pub/reader035/viewer/2022070414/55cf96b7550346d0338d53d4/html5/thumbnails/2.jpg)
Pengertian
Logika adalah ilmu pengetahuan yang mempelajari atau berkaitan dengan prinsip-prinsip dari penalaran argumen yang valid.
Argumen adalah suatu usaha untuk mencari kebenaran dari pernyataan berupa kesimpulan, dengan berdasarkan kebenaran dari suatu kumpulan pernyataan yang disebut premis-premis.
![Page 3: Pengenalan Logika Matematika](https://reader035.vdocuments.pub/reader035/viewer/2022070414/55cf96b7550346d0338d53d4/html5/thumbnails/3.jpg)
Konsep Logika
Logika
• Ilmu tentang metode penalaran yang berhubungan dengan pembuktian validitas suatu argumen
• Suatu argumen yang berisi pernyataan harus diubah menjadi bentuk logika agar dapat dibuktikan validitasnya
![Page 4: Pengenalan Logika Matematika](https://reader035.vdocuments.pub/reader035/viewer/2022070414/55cf96b7550346d0338d53d4/html5/thumbnails/4.jpg)
Logika Matematika
Logika matematika adalah sebuah alat untuk bekerja dengan pernyataan (statement) majemuk yang rumit. Termasuk di dalamnya:
• Bahasa untuk mempresentasikan pernyataan
• Notasi yang tepat untuk menuliskan sebuah pernyataan
• Metodologi untuk bernalar secara objektif untuk menentukan nilai benar-salah dari pernyataan
![Page 5: Pengenalan Logika Matematika](https://reader035.vdocuments.pub/reader035/viewer/2022070414/55cf96b7550346d0338d53d4/html5/thumbnails/5.jpg)
Sejarah Logika
• Giuseppe Peano
• Aristoteles (322 SM)
• George Boole dan Augustus De Morgan (abad XIX) Logika Modern atau Logika Simbolik
• Gottlob Frege, Bertrand Russel, Alfred North Whitehead, John Stuart (abad XX) pengembangan logika modern.
![Page 6: Pengenalan Logika Matematika](https://reader035.vdocuments.pub/reader035/viewer/2022070414/55cf96b7550346d0338d53d4/html5/thumbnails/6.jpg)
Geuseppe Peano
• Lahir tanggal 27 Agustus 1858 di Spinetta, Italia
• Wafat tanggal 20 April 1932
• Pertama kalinya simbol modern tentang union dan intersection
• Formulario Mathematicio yang berisi 4.200 rumus dan teorema
![Page 7: Pengenalan Logika Matematika](https://reader035.vdocuments.pub/reader035/viewer/2022070414/55cf96b7550346d0338d53d4/html5/thumbnails/7.jpg)
Aristoteles
Aristoteles pertama kali memperkanalkan logika tradisional atau logika klasik.
Aristoteles mengembangkan suatu aturan-aturan untuk penalaran silogistik (syllogistic) yang benar. Menurutnya, suatu silogisme (syllogism) adalah suatu argumen yang terbentuk dari pernyataan-pernyataan dengan salah satu atau keempat bentuk berikut:
• Semua A adalah B (universal affirmative)
• Tidak A adalah B (universal negative)
• Beberapa A adalah B (particular affirmative)
• Beberapa A bukan B (particular negative)
![Page 8: Pengenalan Logika Matematika](https://reader035.vdocuments.pub/reader035/viewer/2022070414/55cf96b7550346d0338d53d4/html5/thumbnails/8.jpg)
Dasar – Dasar Logika
• Argumen merupakan kumpulan pernyataan yang disebut premis-premis dan diikuti oleh kesimpulan yang selaras dengan premis-premisnya
• Logika mengkaji hubungan antara pernyatan-pernyatan (statement)
![Page 9: Pengenalan Logika Matematika](https://reader035.vdocuments.pub/reader035/viewer/2022070414/55cf96b7550346d0338d53d4/html5/thumbnails/9.jpg)
Contoh
• Semua pengendara sepeda motor memakai helm.
• Setiap orang yang memakai helm adalah mahasiswa.
Jadi, semua pengendara sepeda motor adalah mahasiswa
![Page 10: Pengenalan Logika Matematika](https://reader035.vdocuments.pub/reader035/viewer/2022070414/55cf96b7550346d0338d53d4/html5/thumbnails/10.jpg)
Dasar-Dasar Logika (lanjutan)
• Hypothetical Syllogism (Silogisme Hipotesis)
1) Jika A maka B
2) Jika B maka C
3) Jika A maka C
• Disjunctive Syllogism (Silogisme Disjungtif)
1) A atau B
2) Bukan B
3) A
• Modus Ponens
1) Jika A maka B
2) A
3) B
• Modus Tolens
1) Jika A maka B
2) Bukan A
3) Bukan B
![Page 11: Pengenalan Logika Matematika](https://reader035.vdocuments.pub/reader035/viewer/2022070414/55cf96b7550346d0338d53d4/html5/thumbnails/11.jpg)
1. Jika harga gula naik, maka pabrik gula akan senang
2. Jika pabrik gula senang, maka petani tebu akan senang
3. Dengan demikian, jika harga gula naik, maka petani tebu senang
Pernyataan (1) dan (2) disebut premis-premis dari suatu argumen dan pernyatan (3) berisi kesimpulan (conclusion)
Jika suatu argumen memiliki premis-premis yang benar, maka kesimpulan juga harus
benar
![Page 12: Pengenalan Logika Matematika](https://reader035.vdocuments.pub/reader035/viewer/2022070414/55cf96b7550346d0338d53d4/html5/thumbnails/12.jpg)
Dasar-dasar Logika (lanjutan)
• Pernyataan apa saja yang mempunyai nilai BENAR atau SALAH tapi tidak kedua-duanya disebut proposisi
• Jenis Proposisi
• Contoh
![Page 13: Pengenalan Logika Matematika](https://reader035.vdocuments.pub/reader035/viewer/2022070414/55cf96b7550346d0338d53d4/html5/thumbnails/13.jpg)
Jenis Proposisi
• Proposisi AtomikVariabel proposional dan konstanta
proposional adalah proposisi atomik atau proposisi yang tidak bisa dipecah-pecah lagi.
Proposisi yang berisi satu variabel proposional atau satu konstanta proposional disebut proposisi atomic.
![Page 14: Pengenalan Logika Matematika](https://reader035.vdocuments.pub/reader035/viewer/2022070414/55cf96b7550346d0338d53d4/html5/thumbnails/14.jpg)
Jenis Proposisi (lanjutan)
• Proposisi MajemukPenggabungan proposisi-proposisi
atomik menghasilkan proposisi majemuk.Semua proposisi bukan atomik disebut
proposisi majemuk dan semua proposisi majemuk memiliki minimal satu perangkai logika.
![Page 15: Pengenalan Logika Matematika](https://reader035.vdocuments.pub/reader035/viewer/2022070414/55cf96b7550346d0338d53d4/html5/thumbnails/15.jpg)
Logika Proposisi
• Logika proposisi adalah logika pernyataan majemuk yang disusun dari pernyataan-pernyataan sederhana yang dihubungkan dengan penghubung Boolean (Boolean Connectives)
• Beberapa aplikasinya dalam ilmu komputer:– Merancang sirkuit elektronik digital– Menyatakan kondisi/syarat pada program– Query untuk basis data dan program pencari
(search engine)
![Page 16: Pengenalan Logika Matematika](https://reader035.vdocuments.pub/reader035/viewer/2022070414/55cf96b7550346d0338d53d4/html5/thumbnails/16.jpg)
Konstanta dan Variabel Proposisi
Variabel proposisiProposisi dapat dituliskan dengan simbol-
simbol seperti A, B, C, ..., yang hanya memiliki nilai benar (True) atau salah (False)
Contoh
Konstanta proposisi : T atau FVariabel dan konstanta proposisi adalah
proposisi atomik
![Page 17: Pengenalan Logika Matematika](https://reader035.vdocuments.pub/reader035/viewer/2022070414/55cf96b7550346d0338d53d4/html5/thumbnails/17.jpg)
A = harga gula naik
B = pabrik gula senang
C = petani tebu senang
Maka pernyataan tersebut menjadi:
1) Jika A maka B
2) Jika B maka C
3) Jika A maka C
![Page 18: Pengenalan Logika Matematika](https://reader035.vdocuments.pub/reader035/viewer/2022070414/55cf96b7550346d0338d53d4/html5/thumbnails/18.jpg)
Proposisi Atomik
Proposisi Atomik proposisi yang berisi satu variabel proposisi atau satu konstanta proposisi
Contoh:
Andi kaya raya (A)
Atin hidup bahagia (B)
![Page 19: Pengenalan Logika Matematika](https://reader035.vdocuments.pub/reader035/viewer/2022070414/55cf96b7550346d0338d53d4/html5/thumbnails/19.jpg)
Proposisi Majemuk
Proposisi Majemuk semua proposisi bukan atomik yang memiliki minimal satu perangkai logika
Contoh :Andi kaya raya dan hidup bahagia (A
dan B)
![Page 20: Pengenalan Logika Matematika](https://reader035.vdocuments.pub/reader035/viewer/2022070414/55cf96b7550346d0338d53d4/html5/thumbnails/20.jpg)
Yang Bukan Proposisi
• “Siapa itu?” (pertanyaan)
• “La la la la” (kata-kata tak bermakna)
• “Lakukan saja!”(perintah)
• “Ya, sepertinya begitu”(tidak jelas)
• “1 + 2”(ekspresi tanpa nilai benar/salah)
![Page 21: Pengenalan Logika Matematika](https://reader035.vdocuments.pub/reader035/viewer/2022070414/55cf96b7550346d0338d53d4/html5/thumbnails/21.jpg)
Perhatikan
a. 6 adalah bilangan genap
b. x + 3 = 8
c. Ibukota propinsi Jawa barat adalah semarang
d. 12 ≥ 19
e. Soekarno adalah presiden indonesia yang pertama
![Page 22: Pengenalan Logika Matematika](https://reader035.vdocuments.pub/reader035/viewer/2022070414/55cf96b7550346d0338d53d4/html5/thumbnails/22.jpg)
Perhatikan
f. Jam berapa kerata api Argo Bromo tiba di Gambir?
g. Kemarin hari hujan
h. Kehidupan nyata ada di planet Bumi
i. Siapkan kertas ujian sekarang!
j. x + y = y + x, untuk setiap x dan y bilangan riil