Universitas Muhammadiyah Malang

FKIP – Prodi Pendidikan Matematika

-----------------------------------------------------------------------------------------------------------------
RENCANA PERKULIAHAN
Matakuliah (MK) : Logika Dasar
Kode MK :
SKS : 2 (dua)
Semester/Klas : I/A, B, C, dan D
Jam Kuliah/Ruang :
Dosen Pembina : Dr. Moh. Mahfud Effendi
Jl. Tirtomulyo V/4 Landungsari Malang
Telp. 0811360276; 087859939216; 088805820852
email: mahfud4_umm@yahoo.com

A. Deskripsi Matakuliah
Logika merupakan ilmu yang mempelajari tentang hukum, asas, aturan, atau kaedah
berpikir/bernalar yang tepat.

B. Tujuan Perkuliahan
1. Mahasiswa mengetahui dan memahami tentang hukum, asas, aturan, atau kaedah
berpikir/bernalar yang tepat.
2. Mahasiswa memahami teknik pembuktian dalam logika.
3. Mahasiswa dapat menggunakan hukum/asas/aturan/kaedah dan teknik pembuktian.

C. Kewajiban Mahasiswa
1. Hadir di kelas minimal 80% dan berpartisipasi,
2. Melaporkan hasil bacaan (terhadap buku, jurnal, artikel, atau makalah) sesuai topik.
a. Sifat: kelompok maksimal 2 orang
b. Format: 1) Nama mhs dan kelas, 2) judul yang dibaca, penulis, tahun,
penerbit/alamat, 3) isi bacaan, 4) komentar, dan 5) referensi/daftar pustaka.
c. Diketik pada 1 (satu) lembar kertas A4 spasi 1,5 times new roman 12), dan
dikumpulkan paling lambat sebelum topik dibahas).
d. Penilaian: kesesuaian topik, originalitas, kesesuaian format, penulisan, ketepatan
waktu penyerahan.
3. Mengikuti UTS, dan
4. Mengikuti UAS.

D. Distribusi Topik/materi

Pertemuan Topik/Materi Ket Kelas

1. Orientasi
2. Logika
3. Pernyataan
4. Operasi pada pernyataan
5. Bentuk pernyataan
6. Konstanta dan Kuantor
7. Argumen-1
8. UTS
9. Argumen-2
10. Metode deduksi-1
11. Metode deduksi-2
 12. Metode induksi
13. Logika pada Aljabar Boole
14. Masalah hipotesis
15. Masalah probabilitas
16. UAS

E. Penilaian
1. Kehadiran (H) = 10%
2. Aktivitas (A) = 20%
3. Laporan Hasil Bacaan (B) = 20%
4. UTS = 20%
5. UAS = 30%

10 H +20 A+20 B+20 UTS+ 30UAS

SS=
100
SS: Skor Semester

F. Referensi
1. Belaniuk, Stefan. (1991). Problem Course in Mathematical Logic, Version 1.6.
Departement of Mathematic Trent University Peterborough, Ontario Canada K9j 7B8.
2. Byers, William. (2007). How Mathematicians Think. New Jersey: Princeton
University Press.
3. Houston, Kevin. (2009). How to Think Like a Mathematician. Cambridge University
Press.
4. Kees Doets and Jan van Eijck. 2004. The Haskell Road to Logic, Math and
Programing.
5. Maddox, Randall B. (2002). Mathematical Thinking and Writing. USA: Academic
Press.
6. Mahfud Effendi, M. (2002). Logika Dasar. Malang: UMM Press
7. Walicki, Michal. (2006). Introduction to Logic.