Logika Matematika LOGO Oleh Dani Suandi M Si

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

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

Kontrak Belajar Wakttu Tempat Referensi : Sabtu (12. 40 – 15. 10) : R-3. 02 : v Mark, Zegarelli. 2007. Logic for Dummies, Wiley Publishing, Inc, NJ v F. Soesianto, Djoni Dwijono. Logika matematika untuk ilmu komputer. Yogyakarta : Andi

Topik Kajian Pemodelan v v v v 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

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

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

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

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. Definisi Argumen logis disebut kuat secara logis, jika dan hanya jika argumennya valid dan semua premisnya bernilai benar

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. Definisi Argumen logis disebut kuat secara logis, jika dan hanya jika argumennya valid dan semua premisnya bernilai benar

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