Kode Dokumen

SEKOLAH TINGGI AGAMA ISLAM

NEGERI MANDAILING NATAL
PROGRAM STUDI PENDIDIKAN AGAMA ISLAM

RENCANA PEMBELAJARAN SEMESTER

Rumpun Bobot
MATA KULIAH KODE Semester Tgl Penyusunan
Keilmuan (SKS)
HIMPUNAN
DAN LOGIKA
MAT1206 2 2 20 Februari 2024
Dosen Pengampu Koordinator Konsorsium Keilmuwan Ketua Prodi

OTORISASI

CAPAIAN Sikap:
PEMBELAJARAN
LULUSAN
1. Bertakwa kepada Tuhan Yang Maha Esa dan mampu menunjukkan sikap religious.
(CPL) 2. Menjunjung tinggi nilai kemanusiaan dalam menjalankan tugas berdasrkan agama, moral, dan etika
3. Berkontribusi dalam peningkatan mutu kehidupan bermasyarakat, berbangsa, bernegara, dan kemajuan peradaban berdasarkan
Pancasila.
4. Berperan sebagai warga negara yang bangga dan cinta tanah air, memiliki nasionalisme serta rasa tanggungjawab pada negara dan
bangsa.
5. Menunjukkan sikap bertanggungjawab atas pekerjaan dibidang keahliannya secara mandiri.
6. Menginternalisasi semangat kemandirian, kejuangan, dan kewirausahaan.
7. Mempunyai ketulusan, komitmen, kesungguhan hati untuk mengembangkan sikap, nilai, dan kemampuan peserta didik dengan
dilandasi oleh nilai-nilai kearifan local.
Pengetahuan:
Mampu menguasai teori terkait Himpunan dan Logika.
Keterampilam Umum:
1. Menerapkan pemikiran logis, kritis, sistematis, dan inovatif dalam konteks pengembangan atau implementasi ilmu pengetahuan
danteknologi yang memperhatikan dan menerapkan nilai humaniora yang sesuai dengan bidang keahliannya.
2. Mampu menunjukkan kinerja mandiri, bermutu, dan terukur;
3. Mampu mengkaji implikasi pengembangan atau implementasi ilmu pengetahuan dan teknologi yang memperhatikan dan
menerapkan nilai humaniora sesuai dengan keahliannya berdasarkan kaidah, tata cara dan etika ilmiah dalam rangka menghasilkan
solusi, gagasan, desain atau kritik seni.
 Keterampilam Khusus:
Terampil dan mampu menerapkan pembelajaran Himpunan dan Logika dengan mempertimbangkan sifat karakteristik, konsep dan
pedagogi yang tepat sebagai implementasi technological pedagogic content knowledengane (TPCK).
CAPAIAN 1. Memahami konsep dan menyelesaikan soal dan masalah yang berkaitan dengan proposisi, dan nilai kebenaran kalimat terbuka
PEMBELAJARAAN
2. Menjelaskan proposisi majemuk yang diwujudkan dalam ekspresi logika dan pengoperasiannya
MATA KULIAH
(CPMK) 3. Menjelaskan validitas argumen yang berupa tautologi dan bukan tautologi.
4. Menjelaskan hukum-hukum dalam logika yang diperoleh dari ekuivalen berbagai ekspresi logika.
5. Menjelaskan hukum-hukum dalam logika yang diperoleh dari ekuivalen berbagai ekspresi logika.
6. Menjelaskan penggunaan teori inferensi yang melibatkan kuantor
7. Memahami pengertian himpunan, cara menyatakan himpunan, dan diagram venn
8. Menjelaskan pengertian operasi dua himpunan atau lebih
9. Menjelaskan operasi himpunan, komplemen dan selisih himpunan
10. Menjelaskan pengertian relasi, cara menyajikan relasi, pengertian fungsi, notasi dan nilai fungsi
11. Menyatakan fungsi dalam diagram panah, diagram cartesius, dan himpunan pasangan berurutan
12. Menjelaskan pengoperasian aljabar fungsi
13. Memahami konsep fungsi komposisidan fungsi Invers
DESKRIPSI MATA Mata kuliah ini merupakan mata kuliah wajib bagi mahasiswa Pendidikan Matematika. Hasil yang diharapkan dari perkuliahan ini adalah
KULIAH memahami teori dan konsep-konsep logika matematika dan himpunan serta mampu mengimplementsikan dalam kehidupan sehari-hari.
Pokok bahasan pada matakuliah ini adalah Proposisi dan kalimat terbuka; Proposisi majemuk dan tabel kebenaran, Tautologi, Kontradiksi,
& Kontingensi; Hukum-hukum logika dan pembuktian logika; Silogisme, modus ponens, dan modus tollens; Kuantor Logika dan
ingakarannya; Himpunan; Diagram Venn; Operasi himpunan; Notasi dan nilai fungsi; Grafik fungsi/pemetaan; Aljabar fungsi; Fungsi
komposisi dan fungsi invers.
MATERI 1. Proposisi, kalimat terbuka, Proposisi majemuk dan tabel kebenaran
2. Tautologi, Kontradiksi, & Kontingensi
 3. Hukum hukum logika dan pembuktian logika
4. Silogisme, modus ponens, dan modus tollens
5. Kuantor Logika dan ingakarannya
6. Himpunan dan Diagram Venn
7. Operasi himpunan
8. Notasi dan nilai fungsi
9. Grafik fungsi/pemetaan
10. Aljabar fungsi
11. Fungsi komposisi dan fungsi invers
REFRENSI Soesianto,F dan Djoni Dwijono. 2003. Logika Proposisional. Yogyakarta : Andi
Rachmat, Stiadi. 2004. Pengantar logika Matematika. Bandung: Informatika
Yunus, Mahmud. 2007. Logika Suatu Pengantar. Yogyakarta : Graha Ilmu
Darwanto, K.B. Dinata dan Junaidi. 2020. Teori Himpunan. Lampung : Univesitas Muhammadiyah Kotabumi
Widodo, S. dan Y. Katminingsih, 2017. Pengantar Dasar Matematika. Kediri : Fakultas teknik Universitas Nusantara PGRI Kediri
Subhan, M. 2018. Pengantar dasar Matematika. Padang : Universitas Negeri Padang
Bahri, S. 2016. Logika dan Himpunan. Mataram : Program Studi Matematika FMIPA UNRAM

Capaian Penilaian
Minggu
Pembelajaran Materi Metode/ Strategi Aktifitas Pembelajaran/ Indikator Bentuk
Ke
Mingguan Pembelajaran Pembelajaran Pengalaman Mahasiswa Penilaian Penilaian Bobot
1 2 3 4 5 6 7 8
1 Memahami Intruduction Self Intruduction 1. Mahasiswa diminta untuk Tugas
pengantar Learning Contract mengajukan pertanyaan (Ind&Kel):
perkuliahan, rencana 15%
tentang proses perkuliahan
perkuliahan dan Sikap:
sistem penilaian 2. Mahasiswa menempati 15%
yang akan digunakan posisi duduk yang ada Kehadiran:
dalam pembelajaran diruangan kelas 15%
3. Mahasiswa menyepakati
aturan main di dalam kelas
(hal-hal yang boleh dan
tidak bleh dilakukan di
dalam kelas) dan sistem
penilaian dalam
 pembelajaran
2 Menjelaskan cara 1. Pengertian dan Presentasi 1. Mengkaji konsep logika, Ketepatan Formative
mengubah argumen bentuk formal Tanya jawab variabel dan konstanta penjelasan test
dan pernyataan logika Penugasan proposisional dan
menjadi bentuk 2. Proposisi 2. Menggunakan perangkai logika penyelesaian
logika 3. Variabel dan untuk mengubah argumen dan tes
konstanta pernyataan menjadi bentuk
proposisi logika kemampuan
3. Kecakapan hidup kesadaran komunikasi
akan potensi diri, kecakapan
menggali dan mengolah
informasi, kecakapan
menghubungkan variabel.
3 Menjelaskan aturan Tabel kebenaran Two Stay Two 1. Mengkaji aturan tabel Ketepatan Formative
tabel kebenaran pada dari perangkai : Stray kebenaran pada perangkai penjelasan test
setiap perangkai 1. Negasi Presentasi logika dan
logika. 2. Konjungsi Penugasan 2. Kecakapan hidup kesadaran penyelesaian
3. Disjungsi akan potensi diri, kecakapan tes
4. Implikasi menggali dan mengolah
5. Biimplikasi informasi, kecakapan kemampuan
6. Bukan dan menghubungkan variabel. komunikasi
7. Bukan atau
8. XOR
4 Menjelaskan Validitas argumen Group 1. Mengkaji validitas suatu Ketepatan Formative
validitas argumen 1. Tautologi Investigation argumen dengan tabel penjelasan test
yang berupa 2. Kontradiksi Presentasi kebenaran dan
tautologi dan bukan 3. Contingensi Penugasan 2. Kecakapan hidup kesadaran penyelesaian
tautologi. akan potensi diri, kecakapan tes
menggali dan mengolah
informasi, kecakapan kemampuan
menghubungkan variabel. komunikasi
5 Menjelaskan hukum- Hukum-hukum Two Stay Two 1. Mengkaji dua ekspresi logis dan Ketepatan Formative
hukum dalam logika logika. Stray sifat-sifatnya penjelasan test
yang diperoleh dari 1. Ekuivalen Presentasi 2. Kecakapan hidup kesadaran dan
ekuivalen berbagai secara logika Penugasan akan potensi diri, kecakapan penyelesaian
 ekspresi logika. 2. Komutatif menggali dan mengolah tes
3. Asosiatif informasi, kecakapan
menghubungkan variabel. kemampuan
komunikasi
6 Menjelaskan proses Pembuktian logika Group 1. Mengkaji kebenaran suatu Ketepatan Formative
pembuktian benar dengan : Investigation kesimpulan logika penjelasan test
atau salahnya suatu 1. Tabel kebenaran; Presentasi 2. Kecakapan hidup kesadaran dan
kesimpulan secara 2. Penyederhanaan Penugasan akan potensi diri, kecakapan penyelesaian
logika. 3. Aturan inferensi menggali dan mengolah tes
informasi, kecakapan
menghubungkan variabel. kemampuan
komunikasi
7 Menjelaskan 1. Istilah dan Two Stay Two 1. Mengkaji argumen dalam Ketepatan Formative
penggunaan teori symbol kuantor Stray bentuk simbolik kuantor penjelasan test
inferensi yang 2. Variable dan Presentasi 2. Mengkaji term dan formula dan
melibatkan kuantor. formula Penugasan 3. Mengkaji kuantor universal penyelesaian
3. Kuantor 4. Mengkaji kuantor eksistensial tes
universal 5. Kecakapan hidup kesadaran
4. Kuantor akan potensi diri, kecakapan kemampuan
eksistensi menggali dan mengolah komunikasi
informasi, kecakapan
menghubungkan variabel.
8 Ujian Tengah Tes Tertulis Mahasiswa diminta untuk Akurasi Sumative
Semester (UTS) menjawab soal yang jawaban test 25%
diberikan oleh dosen secara
tertulis
9 Menjelaskan 1. Ekspresi Group 1. Mengkaji fungsi boolean Ketepatan Formative
transformasi aljabar Boolean Investigation 2. Mengganbar rangkaian logika penjelasan test
boolean ke dalam 2. Rangkaian Presentasi 3. Kecakapan hidup kesadaran dan
rangkaian logika logika. Penugasan akan penyelesaian
potensi diri, kecakapan tes
menggali dan mengolah
informasi, kecakapan kemampuan
menghubungkan variabel. komunikasi
10 Menjelaskan istilah 1. Pengertian Two Stay Two 1. Mengkaji konsep dasar Ketepatan Formative
dan simbol himpunan Stray himpunan penjelasan test
himpunan 2. Keanggotaan Presentasi 2. Kecakapan hidup kesadaran dan
dan kardinalitas Penugasan akan potensi diri, kecakapan penyelesaian
himpunan menggali dan mengolah tes
3. Himpunan informasi, kecakapan
semesta menghubungkan variabel. kemampuan
4. Himpunan komunikasi
kosong
Himpunan
kuasa.
11 Menjelaskan cara Menggambar Group 1. Menggambar himpunan Ketepatan Formative
menggambar suatu diagran venn Investigation dengan diagram venn penjelasan test
himpunan dengan untuk menyajikan: Presentasi 2. Kecakapan hidup kesadaran dan
diagram venn. 1. himpunan Penugasan akan potensi diri, kecakapan penyelesaian
Semesta menggali dan mengolah tes
2. himpunan A informasi, kecakapan
dan B dengan menghubungkan variabel kemampuan
syarat tertentu. komunikasi
12 Menjelaskan 1. Relasi Two Stay Two 1. Mengkaji konsep relasi dua Ketepatan Formative
pengertian relasi dua himpunan Stray himpunan penjelasan test
himpunan. saling lepas Presentasi 2. Kecakapan hidup kesadaran dan
2. Relasi Penugasan akan potensi diri, kecakapan penyelesaian
himpunan menggali dan mengolah tes
berpotongan informasi, kecakapan
3. Relasi menghubungkan variabel. kemampuan
himpunan komunikasi
sama
4. Relasi
himpunan
didalam
himpunan lain.
13 Menjelaskan Sifat dasar operasi Group 1. Mengkaji konsep operasi dua Ketepatan Formative
pengertian operasi himpunan. Investigation himpunan atau lebih penjelasan test
dua himpunan atau 1. Operasi Presentasi 2. Kecakapan hidup kesadaran dan
 lebih interseksi Penugasan akan potensi diri, kecakapan penyelesaian
2. Operasi union menggali dan mengolah tes
3. Operasi selisih informasi, kecakapan
4. Operasi menghubungkan variabel. kemampuan
komplemen komunikasi

14 Menjelaskan definisi 1. Pasangan Two Stay Two 1. Mengkaji konsep relasi biner Ketepatan Formative
dan sifat-sifat relasi terurut dan Stray 2. Mengkaji sifat-sifat relasi penjelasan test
biner definisi relasi Presentasi biner dan
2. Sifat-sifat Penugasan 3. Kecakapan hidup kesadaran penyelesaian
relasi biner. akan potensi diri, kecakapan tes
menggali dan mengolah
informasi, kecakapan kemampuan
menghubungkan variabel. komunikasi

15 Menjelaskan 1. Beberapa Group 1. Mengkaji konsep relasi Ketepatan

pengertian operasi relasi biner Investigation ekuivalen dan konvers suatu penjelasan
pada relasi biner. 2. Operasi pada Presentasi relasi dan
relasi. Penugasan 2. Kecakapan hidup kesadaran penyelesaian
akan potensi diri, kecakapan tes
menggali dan mengolah
informasi, kecakapan kemampuan
menghubungkan variabel. komunikasi
16 Memahami Ujian Akhir Tes Tertulis Mahasiswa diminta untuk Akurasi Sumative
semua materi Semester (UAS) menjawab soal yang jawaban test
pertemuan 9-15 diberikan oleh dosen secara
dan menjawab tulisan.
30%
soal yang
diberikan oleh
dosen
pengampu
Total 100%
 PENUGASAN
A. Penugasan
1. Makalah, Minimal makalah 10 halaman dengan ketentuan ukuran kertas A4, margin 3-3-
3-3, spasi 1, Times News Roman, Ukuran 12, dan teknik penulisan refrensi (footnote dan
daftar pustaka) menggunakan Turabian secara konsisten, serta referensi min. 5
(Buku/Kitab min. 3, dan selebihnya bebas [ensiklopedi, kamus, jurnal, majalah, kitab,
internet, dsb); dengan sistematika format jurnal sebagai berikut; Judul (Title), Penulis
(Author), Abstrak, Kata Kunci, Pendahuluan (Introduction), Pembahasan dan Diskusi,
Kesimpulan, Daftar Pustaka dan lampiran terkait.
2. Presentasi makalah.

B. Kriteria Penilaian
1) Format Penilaian Makalah
Struktur Nilai
Aspek yang Dinilai
Makalah Maks.
Pendahuluan a. Judul, Penulis, Abstrak, dan Kata Kunci 20
(Nilai 35) b. Pendahuluan dan Penelitian Terdahulu 8
c. Metodologi Penulisan 7

Isi (Nilai 50) a. Orisinalitas makalah; 15

b. Memaparkan materi yang relevan dengan masalah yang
10
telah dipaparkan pada bagian pendahuluan;
c. Beragam konsep dieksplorasi dari banyak sumber (> 5
10
sumber buku/jurnal/artikel seminar, dll);
d. Struktur/logika penulisan disusun dengan jelas sesuai
5
metode yang dipakai;
e. Bahasa yang digunakan sesuai EYD dan
5
komunikatif;
f. Daftar pustaka yang dapat dipertanggungjawabkan. 5

Penutup Kesimpulan sesuai dengan rumusan masalah 10

(Nilai 15) Daftar Pustaka 5

Jumlah Total 100

 2) Format Penilaian Presentasi

POINT
No. ASPEK YANG DINILAI POINT
Maks.
1. Sesi Presentasi (Maks. 40) 50
Kesiapan Laporan (tepat waktu) 5
Makalah/laporan sesuai ketentuan 5
Cara Penyampaian 20
Penguasaan Materi 20
2. Sesi Tanya Jawab 30
Mengendalikan Audience 15
Kemampuan Menjawab 15
3.
Presentasi Keseluruhan 20
Penampilan saat presentasi (kerapian), kekompakan group,
20
gaya penyampaian
Total Skor 100

C. Rubrik Penilaian Sikap

No. Aspek Deskriptor Skor

Tanggung Jawab Melaksanakan semua tugas dengan penuh
1. 20
tanggung jawab
Keaktifan Memberikan atau menjawab pertanyaan
2. 30
Memberikan saran dan kritik
Disiplin Hadir tepat waktu, Mengumpul tugas tepat
3. waktu dan Melaksanakan tata tertib 20
perkuliahan
Kesopanan Menerapkan 5 dan Berpakaian sesuai
4. 15
peraturan yang berlaku
Kerjasama Peduli kebersihan, peduli teman sejawat,
5. 20
mampu bekerja sama
Total Skor 100