Presentasi sedang didownload. Silahkan tunggu

Presentasi sedang didownload. Silahkan tunggu

LOGO Logika Matematika Oleh : Dani Suandi, M.Si..

Presentasi serupa


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

1 LOGO Logika Matematika Oleh : Dani Suandi, M.Si.

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 Maa’idah : 100 QS. Al-Hasyr : 21

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

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

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

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

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


Download ppt "LOGO Logika Matematika Oleh : Dani Suandi, M.Si.."

Presentasi serupa


Iklan oleh Google