SILABUS

MATA KULIAH LOGIKA MATEMATIKA

KODE MK : MTK 2506

SEMESTER GENAP TAHUN AKADEMIK 2015/2016

DISUSUN OLEH :

PROGRAM STUDI PENDIDIKAN MATEMATIKA

FAKULTAS TARBIYAH DAN KEGURUAN
IAIN ANTASARI BANJARMASIN
2016
 SILABUS KURIKULUM PERKULIAHAN
PRODI PENDIDIKAN MATEMATIKA

A. IDENTITAS MATA KULIAH

1. Nama MK/Kode MK : Logika Matematika / MTK 2506
2. Beban SKS/Semester : 2 SKS / II (Dua)
3. MK Prasyarat :-
4. Dosen : ..

B. DESKRIPSI MATA KULIAH

Mata kuliah ini dimaksudkan untuk memberi kemampuan pada mahasiswa tentang konsep logika matematika meliputi pernyataan,
tabel kebenaran, operasi dalam logika matematika dan sifat-sifatnya, bentuk-bentuk pernyataan, implikasi logis dan ekuivalensi logis,
kuantor, argumen dan metode deduksi seperti validitas dan kebenaran, bentuk-bentuk argumen, serta aturan dan berbagai macam
teknik penarikan kesimpulan dan pembuktian.

C. CAPAIAN PEMBELAJARAN (LEARNING OUTCOME) PRODI

1. Tambahan : LO IAIN ANTASARI ambil dari VISI-MISI (Penciri identitas diri)
2. Mampu mengaplikasikan bidang keahliannya dan memanfaatkan IPTEKS pada bidangnya dalam penyelesaian masalah serta
mampu beradaptasi terhadap situasi yang dihadapi.
3. Menguasai konsep teoritis bidang pengetahuan tertentu secara umum dan konsep teoritis bagian khusus dalam bidang pengetahuan
tersebut secara mendalam, serta mampu memformulasikan penyelesaian masalah prosedural.
4. Mampu mengambil keputusan yang tepat berdasarkan analisis informasi dan data, dan mampu memberikan petunjuk dalam
memilih berbagai alternatif solusi secara mandiri dan kelompok.
5. Bertanggung jawab pada pekerjaan sendiri dan dapat diberi tanggung jawab atas pencapaian hasil kerja organisasi.

D. CAPAIAN PEMBELAJARAN (LEARNING OUTCOME) MATA KULIAH

1. Mahasiswa dapat memahami konsep pernyataan dan kalimat terbuka.
2. Mahasiswa dapat menentukan nilai kebenaran menggunakan tabel kebenaran.
3. Mahasiswa dapat menggunakan operasi logika matematika dalam pemecahan masalah.
4. Mahasiswa dapat menerapkan bentuk-bentuk pernyataan dalam pemecahan masalah.
5. Mahasiswa dapat menggunakan kuantor pada kalimat terbuka dan menentukan negasinya.
6. Mahasiswa dapat menentukan bentuk-bentuk argumen yang valid.
7. Mahasiswa dapat menggunakan argumen dan sifat-sifat operasi logika matematika untuk menarik kesimpulan yang valid.
E. SILABUS PERKULIAHAN

No Pertemua Tujuan Pembelajaran Pokok Bahasan Capaian Pembelajaran

n Ke-
1. I Mahasiswa dapat memahami 1. Pengertian Mahasiswa dapat :
pernyataan dan bukan pernyataan logika 1. Menjelaskan pengertian logika matematika
pada kalimat matematika matematika 2. Menentukan pernyataan atau bukan pernyataan
2. Pernyataan dan terhadap satu kalimat matematika
bukan pernyataan 3. Memberikan contoh pernyataan tunggal dan
3. Pernyataan majemuk
tunggal dan 4. Menentukan nilai kebenaran dari suatu
pernyataan pernyataan
majemuk
4. Nilai kebenaran
dari pernyataan
2. II Mahasiswa dapat memahami 1. Variabel dan Mahasiswa dapat :
tentang kalimat terbuka, variabel, konstanta 1. Membedakan antara variabel dan konstanta
konstanta dan himpunan 2. Kalimat 2. Menentukan suatu kalimat matematika
penyelesaian terbuka merupakan pernyataan atau kalimat terbuka
3. Notasi kalimat 3. Menentukan himpunan penyelesaian dari suatu
terbuka kalimat terbuka dalam matematika
4. Penyelesaian
dan himpunan
penyelesaian
3. III Mahasiswa dapat memahami 1. Operasi negasi Mahasiswa dapat :
operasi-operasi dalam logika 2. Operasi 1. Menentukan negasi dari suatu pernyataan
matematika konjungsi 2. Membuat pernyataan majemuk dengan operasi
3. Operasi konjungsi
disjungsi 3. Menentukan nilai kebenaran dari hasil operasi
4. Operasi konjungsi
implikasi 4. Membuat pernyataan majemuk dengan operasi
5. Operasi disjungsi
biimplikasi 5. Menentukan nilai kebenaran dari hasil operasi
disjungsi
6. Membuat pernyataan majemuk dengan operasi
 implikasi
7. Menentukan nilai kebenaran dari hasil operasi
implikasi
8. Membuat pernyataan biimplikasi
9. Menentukan nilai kebenaran dari operasi
biimplikasi
4. IV Mahasiswa dapat memahami 1. Urutan Mahasiswa dapat :
urutan pada pemakaian operasi pemakaian 1. Menentukan nilai kebenaran suatu pernyataan
dalam logika dan mampu operasi pada berdasarkan urutan operasi logika
membuat tabel kebenaran dari logika 2. Menyelidiki nilai kebenaran suatu pernyataan
suatu pernyataan 2. Tabel kebenaran dengan tabel kebenaran
dari suatu
pernyataan
5. V Mahasiswa dapat memahami 1. Tautologi, Mahasiswa dapat :
bentuk-bentuk pernyataan dalam kontradiksi dan 1. Menentukan suatu pernyataan tautologi
logika matematika kontingensi 2. Menentukan suatu pernyataan kontradiksi
2. Pernyataan- 3. Menentukan suatu pernyataan kontingensi
pernyataan 4. Menentukan dua pernyataan yang ekuivalen
yang ekuivalen menggunakan tabel kebenaran
6. VI Mahasiswa dapat memahami 1. Implikasi Mahasiswa dapat:
bentuk-bentuk pernyataan dalam logis dan 1. Menentukan implikasi logis dari suatu pernyataan
logika matematika ekuivalensi implikasi
logis 2. Menentukan ekuivalensi logis dari suatu pernyataan
2. Sifat-sifat biimplikasi
ekuivalensi 3. Menentukan sifat-sifat ekuivalensi logis
logis
7 VII Mahasiswa dapat memahami Konvers, invers Mahasiswa dapat membuat konvers, invers dan kontra
bentuk-bentuk pernyataan dalam dan kontra positif positif dari pernyataan implikasi
logika matematika
8. VIII Ujian Tengah Semester
9. IX Mahasiswa dapat memahami 1. Pengertian Mahasiswa dapat :
penggunaan bentuk-bentuk kuantor 1. Menentukan kuantor universal atau eksistensial
kuantor dalam kalimat terbuka dan 2. Diagram venn di depan kalimat terbuka sehingga menjadi
mampu membuat diagram venn- pernyataan pernyataan yang benar
 nya berkuantor 2. Membuat diagram venn dari suatu pernyataan
3. Pengkuantoran berkuantor
kalimat 3. Menentukan kuantor universal dan eksistensial
terbuka dengan di depan kalimat terbuka dua variabel sehingga
dua variabel menjadi pernyataan yang benar
10. X Mahasiswa dapat memahami 1. Negasi Mahasiswa dapat :
negasi dari pernyataan berkuantor dari pernyataan 1. Menentukan negasi dari suatu pernyataan
dan mampu membuat diagram dengan satu dengan satu kuantor
venn dari negasi pernyataan dan dua 2. Menentukan negasi dari suatu pernyataan
berkuantor kuantor dengan dua kuantor
2. Diagram 3. Membuat diagram venn dari negasi pernyataan
venn dari berkuantor
negasi 4. Menentukan secara simbolis dari operasi
pernyataan pernyataan berkuantor
berkuantor
3. Operasi
pernyataan
berkuantor
11. XI Mahasiswa dapat memahami 1. Pengertian Mahasiswa dapat :
berbagai penarikan kesimpulan argumen 1. Menentukan pernyataan sebagai premis dan
dalam berbagai bentuk argumen 2. Kebenaran konklusi
dan validitas 2. Menentukan suatu argumen yang valid atau
3. Penyimpul invalid
an 3. Menyusun premis agar mendapatkan
kesimpulan yang benar
12. XII Mahasiswa dapat memahami 1. Bentuk- Mahasiswa dapat :
berbagai penarikan kesimpulan bentuk 1. Menggunakan bentuk argumen yang valid untuk
dalam berbagai bentuk argumen argumen menyelidiki validitas suatu argumen
2. Sifat-sifat 2. Menggunakan sifat-sifat operasi logika untuk
operasi logika membuktikan ekuivalensi pernyataan
3. Pembuktia 3. Menggunakan bentuk argumen yang valid dan
n Invaliditas sifat-sifat operasi logika untuk menyelidiki validitas
suatu argumen
4. Menentukan invaliditas dari suatu argumen
 13. XIII Mahasiswa dapat memahami 1. Pembuktia Mahasiswa dapat :
berbagai penarikan kesimpulan dalam n implikasi 1. Menentukan validitas suatu argumen
berbagai bentuk argumen 2. Pembuktia menggunakan aturan implikasi
n dengan 2. Menentukan validitas suatu argumen
kontradiksi menggunakan aturan kontradiksi
14. XIV Mahasiswa dapat memahami 1. Pembuktia Mahasiswa dapat :
berbagai penarikan kesimpulan dalam n tautologi 1. Menggunakan bentuk argumen yang valid dan
berbagai bentuk argumen 2. Pembuktia sifat-sifat operasi logika untuk menentukan
n dengan pernyataan tautologi
kontrapositif 2. Membuat pembuktian pernyataan implikasi
menggunakan aturan kontrapositif
15. XV Mahasiswa dapat menerapkan Penerapan logika Mahasiswa dapat menggunakan konsep logika
logika matemtaika dalam matematika matematika dalam berbagai soal pemecahan masalah
pemecahan masalah
16. XVI Ujian Akhir Semester (UAS)

F. SISTEM PERKULIAHAN
1. Pendekatan, Metode dan Model Perkuliahan : Perkuliahan Aktif dan Menyenangkan
2. Bentuk Kegiatan : Diskusi dan Tugas.
3. Evaluasi : Tes Tertulis

G. PENILAIAN :
Penilaian hasil belajar terdiri dari 3 komponen yaitu Nilai Ujian Tengah Semester(UTS), Nilai Rata-Rata Tugas dan Kehadiran dan
Nilai Ujian Akhir Semester (UAS). Rumus yang digunakan untuk memperoleh Nilai Akhir (NA) adalah :

NA
3 x UTS 3 x Tugas 4 x UAS
10
Keterangan :
NA = Nilai Akhir
UTS = Nilai Rata-Rata Ujian Tengah Semester
Tugas = Nilai Rata-Rata Tugas Individu/Kelompok, Kuis dan Kehadiran
UAS = Nilai Rata-Rata Ujian Akhir Semester

H. SUMBER BACAAN/REFERENSI :
1. Karso, Pengantar Dasar Matematika. Jakarta: Universitas Terbuka
2. Karso, 1986. Logika Elementer. Jakarta: Universitas Terbuka
3. Djong Jek Siang, Matematika Diskrit dan Aplikasinya pada Ilmu Komputer. Yogyakarta: Andi Press

Mengetahui Banjarmasin, .
Kaprodi Pendidikan Matematika Penyusun

Dr. M. Sabirin, S.Pd., M.Si

NIP.197604102000031001 NIP. -