Logika Matematika Oleh : Dani Suandi, M.Si. KELOMPOK I.

Presentasi berjudul: "Logika Matematika Oleh : Dani Suandi, M.Si. KELOMPOK I."— Transcript presentasi:

1 Logika Matematika Oleh : Dani Suandi, M.Si. KELOMPOK I

2 Kontrak Belajar Mata Kuliah : Logika Matematika (701) Bobot SKS : 3 SKS Pra Syarat : - Penilaian : - Terstruktur (TST) 20% - Mandiri (MDR) 20% - UjianTengahSemester(UTS) 20% - UjianAkhirSemester (UAS) 40% Kompetensi : Mahasiswa memiliki kemampuan berfikir logis dan sistematis serta mampu menganalisis keabsahan dan kesamaan suatu argumen.

3 Kontrak Belajar Wakttu : Sabtu (12.40 – 15.10) Tempat : R-3.02 Referensi : Mark, Zegarelli Logic for Dummies, Wiley Publishing, Inc, NJ F. Soesianto, Djoni Dwijono. Logika matematika untuk ilmu komputer. Yogyakarta : Andi

4 Topik Kajian Pemodelan
Pengantar logika proposisi Tabel kebenaran Proposisi majemuk Evaluasi dan validasi Hukum-hukum logika Ekuivalensi logis Operasi penyederhanaan Semantik Bentuk normal Logika predikat Pernyataan berkuantor Penafsiran dan Validitas Argumen Ekuivalensi logika predikat

5 Motivasi QS. Yunus : 24

6 Motivasi QS. Al-Hasyr : 21 QS. Al Maa’idah : 100

7 Logika ilmu pengetahuan yang berkaitan dengan prinsip-prinsip dari penalaran argumen yang valid Logika matematika adalah aturan – aturan logika yang menggunakan kaidah-kaidah matematika untuk membuktikan validitas suatu argumen Definisi Definisi

8 Argumen adalah usaha untuk mencari kebenaran dari suatu pernyataan berupa kesimpulan dengan berdasarkan pada kebenaran dari satu kumpulan pernyataan yang disebut premis-premis. Semua mahasiswa pandai Bani adalah mahasiswa Dengan demikian, Bani pandai Definisi Contoh

9 Semua manusia bermata empat Bani seorang manusia Dengan demikian, Bani bermata empat Semua mahasiswa rajin belajar Bani seorang mahasiswa Dengan demikian, Dewi rajin belajar Contoh Contoh

10 Validitas yang logis adalah hubungan antara presmis-premis dengan kesimpulan yang memastikan bahwa jika premis-premis benar, maka harus diikuti dengan kesimpulan yang benar, yang diperoleh menggunakan aturan-aturan logika. Argumen logis disebut kuat secara logis, jika dan hanya jika argumennya valid dan semua premis-premisnya bernilai benar Definisi Definisi

11 Validitas yang logis adalah hubungan antara presmis-premis dengan kesimpulan yang memastikan bahwa jika premis-premis benar, maka harus diikuti dengan kesimpulan yang benar, yang diperoleh menggunakan aturan-aturan logika. Argumen logis disebut kuat secara logis, jika dan hanya jika argumennya valid dan semua premis-premisnya bernilai benar Definisi Definisi

12 Skema Logika Matematika
Logika Proposisi Sebelum UTS Logika Matematika Pernyataan Berkuantor Sebelum UAS Logika Predikat Validasi Argumen