SILABUS PERKULIAHAN MATA KULIAH KODE MATA KULIAH PROGRAM BOBOT SKS SEMESTER DOSEN : LOGIKA MATEMATIKA : GD 321

: S1 REGULER / DUAL MODES : 2 (DUA) : V (LIMA) : DRA. DETI ROSTIKA, M.PD.

A. DESKRIPSI :

Logika Matematika merupakan salah satu mata kuliah yang harus ditempuh oleh mahasiswa konsentrasi matematika yang mempelajari tentang: pengertian logika; pernyataan dan operasinya; argumen dan metode deduksi; kuantor dan teori kuantifikasi; serta sylogisme.

B. STANDAR KOMPETENSI Setelah menyimak, mempelajari, tanya jawab, diskusi dan latihan, diharapkan mahasiswa memiliki kemampuan dalam memahami pengertian logika; pernyataan dan operasinya; argumen dan metode deduksi; kuantor dan teori kuantifikasi; serta sylogisme.

Pertemuan ke 1.

Kompetensi Dasar 1. Mahasiswa dapat

Materi Pokok dan Rincian Materi 1.Pengertian Logika

Langkah-langkah Pembelajaran dan Estimasi Waktu Menyimak, tanya

Media dan Sumber Yaya S Kusumah.

Tugas dan Evaluasi Mengerjakan soal

memahami pengertian logika. 2. Mahasiswa dapat memahami pernyataan dan operasinya: pengertian pernyataan. 3. Mahasiswa dapat memahami Nilai Kebenaran. 4. Mahasiswa dapat memahami Operasi Uner dan operasi biner 5. Mahasiswa dapat memahami tabel kebenaran pernyataan, tautologi, kontradiksi, kontingensi.

2. Pernyataan dan Operasinya a. Pengertian pernyataan dan bukan pernyataan. b. Nilai kebenaran. c. Operasi uner d. Operasi biner

jawab, diskusi dan latihan soal tentang pengertian logika, pengertian pernyataan dan bukan pernyataan, serta nilai kebenaran.

(1986). Logika Matematika Elementer. Bandung: Tarsito.

latihan tentang pengertian logika, pengertian pernyataan dan bukan pernyataan, serta nilai kebenaran.

2.

3.

e. Tabel kebenaran pernyataan f. Tautologi, kontradiksi, dan kontingensi. g. Pernyataanpernyataan ekivalen h. Konvers, invers, kontrapositif i.Aplikasi logika dalam jaringan listrik. 3. Argumen dan Metode Deduksi

4.

6. Mahasiswa dapat memahami pernyataanpernyataan ekivalen, konvers, invers, kontrapositif, serta aplikasi logika dalam jaringan listrik. 7. Mahasiswa dapat memahami pengertian argumen, dan

5.

Menyimak, tanya jawab, diskusi dan latihan tentang operasi uner dan operasi biner Menyimak, tanya jawab, diskusi dan latihan soal tentang tabel kebenaran pernyataan, tautologi, kontradiksi, dan kontingensi. Menyimak, tanya jawab, diskusi, latihan soal tentang pernyataan ekivalen, konvers, invers, kontrapositif, serta aplikasi logika dalam jaringan listrik. Menyimak, tanya jawab, diskusi,

Yaya S Kusumah. (1986). Logika Matematika Elementer. Bandung: Tarsito. Yaya S Kusumah. (1986). Logika Matematika Elementer. Bandung: Tarsito. Yaya S Kusumah. (1986). Logika Matematika Elementer. Bandung: Tarsito.

Mengerjakan soal latihan tentang operasi uner dan operasi biner. Mengerjakan soal latihan tentang tabel kebenaran pernyataan, tautologi, kontradiksi, dan kontingensi. Mengerjakan soal latihan tentang pernyataan ekivalen, konvers, invers, kontrapositif, dan aplikasi logika dalam jaringan listrik. Mengerjakan soal latihan tentang

Yaya S Kusumah. (1986). Logika

inferensi induksi. 6. 8. Mahasiswa dapat memahami inferensi deduksi dan pembuktian validitas argumen. 9. Mahasiswa dapat memahami aturan penarikan kesimpulan, dan aturan penukaran.

a. Pengertian argumen b. Inferensi induksi. c. Inferensi deduksi d. Pembuktian faliditas argumen.

7.

8.

10. Mahasiswa dapat memahami aturan pembuktian kondisional dan aturan pembuktian tak langsung.

9.

11. Mahasiswa dapat memahami aturan pembuktian tautologi dan pembuktian invaliditas argumen. 12. Mahasiswa dapat

10.

latihan soal tentang pengertian argumen, dan inferensi induksi. Menyimak, tanya jawab, diskusi dan latihan soal tentang inferensi deduksi, dan pembuktian validitas argumen. e. Aturan penarikan Menyimak, tanya kesimpulan jawab, diskusi, dan f. Aturan penukaran. presentase, serta latihan soal tentang aturan penarikan kesimpulan, dan aturan penukaran.. g. Aturan pembuktian Mempelajari, tanya kondisional jawab, diskusi dan h. Pembuktian tak presentasi serta langsung. latihan soal tentang aturan pembuktian kondisional dan pembuktian tak langsung. i.Aturan pembuktian Mempelajari, tanya tautologi jawab, diskusi, j. Pembuktian presentasi dan latihan invaliditas argumen. soal tentang aturan pembuktian tautologi dan pembuktian invaliditas argumen. 4. Kuantor dan teori Mempelajari, tanya

Matematika Elementer. Bandung: Tarsito. Yaya S Kusumah. (1986). Logika Matematika Elementer. Bandung: Tarsito. Yaya S Kusumah. (1986). Logika Matematika Elementer. Bandung: Tarsito. Yaya S Kusumah. (1986). Logika Matematika Elementer. Bandung: Tarsito.

pengertian argumen, inferensi induksi. Mengerjakan soal latihan tentang ninferensi induksi, dan pembuktian validitas argumen.. Mengerjakan soal latihan tentang aturan penarikan kesimpulan dan aturan penukaran.

Mengerjakan soal latihan tentang aturan pembuktian kondisional dan pembuktian tak langsung. Mengerjakan soal latihan tentang aturan pembuktian tautologi dan pembuktian invaliditas argumen. Mengerjakan soal

Yaya S Kusumah. (1986). Logika Matematika Elementer. Bandung: Tarsito. Yaya S Kusumah.

memahami kuantor dan teori kuantifikasi: yaitu fungsi proposisi dan kuantor umum. 11. 13. Mahasiswa dapat memahami kuantor khusus dan negasi pernyataan berkuantor.

kuantifikasi.

12.

14. Mahasiswa dapat memahami empat pernyataan dalam logika tradisional dan pernyataan yang mengandung relasi.

13.

15. Mahasiswa dapat memahami pembuktian validitas argumen berkuantor dan kekecualian pada aturan inferensi.

14.

16. Mahasiswa dapat memahami pembuktian invaliditas argumen berkuantor.

jawab, diskusi, presentasi dan latihan a. fungsi proposisi soal tentang fungsi b. kuantor umum proposisi dan kuantor umum. c. Kuantor khusus Mempelajari, tanya d. Negasi pernyataan jawab, diskusi, berkuantor presentasi, dan latihan soal tentang kuantor khusus dan negasi pernyataan berkuantor. d. Empat pernyataan Mempelajari, tanya dalam logika jawab, diskusi, tradisional presentasi, dan latihan e. Pernyataan yang soal tentang empat mengandung relasi. pernyataan dalam logika tradisional serta pernyataan yang mengandung relasi. f. Pembuktian Mempelajari, tanya validitas argumen jawab, diskusi, berkuantor presentasi dan latihan g. Kekecualian pada soal tentang aturan inferensi pembuktian validitas argumen berkuantor serta kekecualian pada aturan inferensi. h. Pembuktian Mempelajari, tanya invaliditas argumen jawab, diskusi, berkuantor. presentasi, dan latihan soal tentang

(1986). Logika Matematika Elementer. Bandung: Tarsito. Yaya S Kusumah. (1986). Logika Matematika Elementer. Bandung: Tarsito. Yaya S Kusumah. (1986). Logika Matematika Elementer. Bandung: Tarsito.

latihan tentang fungsi proposisi dan kuantor umum. Mengerjakan soal latihan tentang kuantor khusus dan negasi pernyataan berkuantor. Mengerjakan soal latihan tentang empat pernyataan dalam logika tradisional serta pernyataan yang mengandung relasi. Mengerjakan soal latihan tentang pembuktian validitas argumen berkuantor serta kekecualian pada aturan inferensi. Mengerjakan soal latihan tentang pembuktian invaliditas argumen

Yaya S Kusumah. (1986). Logika Matematika Elementer. Bandung: Tarsito.

Yaya S Kusumah. (1986). Logika Matematika Elementer. Bandung:

15.

17. Mahasiswa dapat memahami sylogisme: susunan dan modus sylogisme 18. Mahasiswa dapat memahami validitas sylogisme dan metode diagram venn.

5. Sylogisme a. Susunan dan modus sylogisme b.Validitas Sylogisme b.Metode Diagram Venn

16.

pembuktian invaliditas argumen berkuantor. Mempelajari, tanya jawan, diskusi, presentasi, dan latihan soal tentang susunan dan modus sylogisme. Mempelajari, tanya jawab, diskusi, presentasi, dan latihan soal tentang validitas sylogisme serta metode diagram venn.

Tarsito. Yaya S Kusumah. (1986). Logika Matematika Elementer. Bandung: Tarsito. Yaya S Kusumah. (1986). Logika Matematika Elementer. Bandung: Tarsito.

berkuantor. Mengerjakan soal latihan tentang susunan modus sylogisme. Mengerjakan soal latihan tentang validitas sylogisme dan metode diagran venn.