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

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.

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

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

Motivasi QS. Yunus : 24

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

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

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

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

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

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

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