UNIVERSITAS SYIAH KUALA

Darussalam, Banda Aceh

DOKUMEN: FORMAT KONTRAK KULIAH

Kode : EDU 204 Tanggal dikeluarkan

Area : Fakultas & BJM Universitas Syiah Kuala No. Revisi : 2

Nama Mata Kuliah : Lgika Matematika

Kode Mata Kuliah : PMA 109
Bobot SKS : 2 SKS
Semester :1
Hari Pertemuan :
Tempat Pertemuan : Ruang 14.02.04 Unsyiah
Koordinator MK : Dra. Bintang Zaura, M.Pd
Anggota Team : 1. Dra. Bintang Zaura, M.Pd; 2. Dr. Anwar, M.Pd;
3. Dr. Bainuddin Yani, M.S., M.Pd
1. Manfaat Mata Kuliah

Mata kuliah ini memberikan pemahaman tentang suatu metode atau cara yang
sistematis dalam berpikir serta penalaran atau proses penarikan kesimpulan

2. Deskripsi Mata Kuliah

Review operasi pada proposisi, konvers, invers dan kontrapositif, Tautologi, kontradiksi,
kontigensi, dan ekivalensi, aplikasi pada jaringan listrik, hukum-hukum logika, argumen,
Modus ponens, modus tollens, sillogisme, metode langsung, Aturan Bukti Bersyarat ABB) ,
Metode Bukti Tak Langsung (BTL, reductio ad absordum), kuantifikasi, strategi pembuktian
matematika.
3. Capaian Pembelajaran Mata Kuliah (CPMK)

Mahasiswa memiliki pengembangan pemikiran logis, kritis, obyektif dan terbuka dalam
memfomulasikan masalah-masalah pengambilan suatu keptusan

4. Strategi Pembelajaran

Perkuliahan tatap muka, diskusi/tanya jawab, presentasi, ujian tengah semester, ujian
semester, tugas mandiri, tugas kelompok.

5. Materi Pokok

Logika Matematika

6. Bahan Bacaan

1. Gie, The Liang dkk. 1979. Pengantar Matematika Modern Jilid 1. Yogyakarta: Karya
Kencana
2. Gie, The Liang dkk.1979. 1979 Pengantar Matematika Modern Jilid 2. Yogyakarta:
Karya Kencana
3. Irving M. Copi. 1973. Symbolic Logic Fourth Eddition. New York: Macmilan Publising
4. Liu, C.L. 2010. Element of Discrete Mathematics. New York: McGraw-Hill
5. Tremblay, J.P, dan Manohar, R. 2010. Discrete Mathematical Structures with Applications to
Computer Science. New York: McGraw-Hill
 UNIVERSITAS SYIAH KUALA
Darussalam, Banda Aceh

DOKUMEN: FORMAT KONTRAK KULIAH

Kode : EDU 204 Tanggal dikeluarkan

Area : Fakultas & BJM Universitas Syiah Kuala No. Revisi : 2

6. Soehakso, RMJT. 1993. Pengantar Matematika Modern. Yoyakarta: FMIPA UGM

7. Subhan, Muhammad, 2018. Pengantar Dasar Matematika. Padang: FMIPA UNP
8. Susanna S. Epp. 2010. Discrete Mathematics With Application. U.K., United States, dll.:
Cengage Learning [online]

7. Tugas

Tugas yang diberikan atas tugas 1 s.d 10 yang bahan kajiannya (lihat rancangan tugas)

8. Kriteria dan Standar Penilaian

Penilain mempertimbangkan beberapa komponen dengan pembobotan sebagai berikut:

1. Partisipasi dan aktivitas kelas : 10 %
2. Tugas-tugas (individu/kelompok : 20 %
9. Ujian tengah semester : 30 %
10. Ujian akhir semester : 40%

9. Tata Tertib Siswa dan Dosen

Toleransi masuk 15 menit

1. Jadwal Kuliah (Course Outline)

No Materi Kuliah ke- Dosen

1 Kontrak perkuliahan, penjelasan silabus materi logika. I BY

Review operasi ~ (negasi), ˄ (dan) , _
(atau), → (jika ... maka ...), ↔ (jika dan hanya
jika), ↑ (NAND), ↓ (NOR), ∇(XOR = exclusive OR
= exclusive disjunction).
2 Tautologi, kontradiksi, kontigensi, dan ekivalensi. II BY

3 Hukum-hukum logika serta pembuktiannya (dengan tabel/ III BY

tanpa tabel).
4 Argumen dan Kesahihannya: Penyimpulan yang sahih IV AN
(valid), sesat fikir (fallacy). Aturan inferensi: modus ponens,
modus tollens, silogisme, serta pembuktian kesahihannya
sebagai tautologi melalui tabel kebenaran (truth table).
5 Argumen, Aturan inferensi: simplikasi, penambahan, V AN
Konjungsi, Silogisme Disjungsi, Silogisme Hipotesis,
Absorpsi, Dilema Konstruktif, Dilema Destruktif
6 Argumen: Aplikasi aturan inferensi dalam kehidupan sehari- VI AN
 UNIVERSITAS SYIAH KUALA
Darussalam, Banda Aceh

DOKUMEN: FORMAT KONTRAK KULIAH

Kode : EDU 204 Tanggal dikeluarkan

Area : Fakultas & BJM Universitas Syiah Kuala No. Revisi : 2

hari.

7 Argumen: Metode Langsung, Aturan Bukti Bersyarat ABB), VII AN

serta aplikasi dalam kehidupan sehari-hari.
8 UTS VIII BZ

9 Argumen: Metode Bukti Tak Langsung (BTL, reductio ad IX BZ

absurdum), serta aplikasi dalam kehidupan sehari-hari.
10 Argumen: A Valid Argument with a False Premise and a False X BZ
Conclusion
11 Kuantifikasi (Quantifier): Objek, predikat, kuantor (universal XI BZ
dan eksistensial), aturan negasi, aturan inferensi, Modus
ponens universal, modus tollens universal, dan penggunaan
diagram Venn untuk mengetes kesahihan argumen.
12 Kuantifikasi: Statements with Multiple Quantifiers and XII BZ
Negations of Multiply-Quantified Statements.
13 Aplikasi pada jaringan listrik: gate (gerbang) OR, gate AND, XIII BZ
gate NOT, gate NAND, gate NOR.
14 Strategi pembuktian matematika: counter example, strategi XIV BY
langsung, kontraposisi, negasi.
15 Strategi pembuktian matematika: induksi matematika. XV BY

16 UAS XVI BZ

2. Lain-lain
Apabila ada hal-hal yang diluar kesepakatan ini untuk perlu disepakati, dapat
dibicarakan secara teknis pada saat setiap acara perkuliahan. Apabila ada perubahan isi
kontrak perkuliahan, aka nada pemberitahuan terlebih dahulu.

Kontrak perkuliahan ini dapat dilaksanakan, mulai dari disampaikan kesepakatan ini.

Pihak I Pihak II
Dosen Pengampu, a.n. Mahasiswa

(Dra. Bintang Zaura, M.Pd) ( ..........)

Mengetahui
Ketua Program Studi

(Dra. Suryawati, M.Pd)

NIP