SILABUS Mata Kuliah Kode Mata Kuliah Bobot Program Studi Waktu Perkuliahan Dosen : : : : : : Logika Matematika GD 316 2 SKS S1 PGSD Semester Genap (VI) Dra. Tiurlina, M.Pd Disusun Oleh : Dra. Tiurlina, M.Pd NIP. 195909091986032003 UNIVERSITAS PENDIDIKAN INDONESIA KAMPUS SERANG 2011 SILABUS Mata Kuliah Kode Mata Kuliah Bobot Program Studi Waktu Perkuliahan Dosen : : : : : : Logika Matematika GD 316 2 SKS S1 PGSD Semester Ganjil (V) Dra. Tiurlina, M.Pd A. Deskripsi Mata Kuliah Mata kuliah ini memperkenalkan konsep-konsep logika matematika sehingga para mahasiswa diharapkan mampu menyusun dan berpikir secara logis, kritis, dan sistematis. Garis besar materi perkuliahan logika matematika ini terdiri dari pernyataan argumen dan metode deduksi, kuantor dan teori kuantifikasi, dan sylogisme. B. Selama Mengikuti Pendidikan Mahasiswa diharapkan kegiatan 1. Ceramah, tanya jawab, dan diskusi kelompok. 2. Presentasi kelompok. 3. Menyelesaikan dan menjawab soal. 4. Membuat makalah. 5. UTS dan UAS. mengikuti C. Uraian Pokok Bahasan Setiap Pertemuan I. Orientasi Silabus Perkuliahan Isi orientasi silabus perkuliahan yaitu membahas silabus, perkuliahan, tujuan, ruang lingkup, prosedur perkuliahan, penjelasan tentang tugas yang harus dilakukan mahasiswa, ujian yang harus diikuti termasuk jenis soal dan cara menyelesaikan/menjawab soal/pertanyaan, dan sumber-sumber. II. a. Pengertian Logika a. Pengertian logika dari asal kata dan pengertian logika secara matematika. b. Pengertian Pernyataan Membahas mengenai pernyataan tunggal dan pernyataan majemuk. III. a. Nilai Kebenaran Membahas nilai kebenaran pada pernyataan tunggal, nilai kebenaran yang bernilai benar dan nilai kebenaran yang bernilai salah. b. Operasi Negasi/Ingkaran Membahas operasi negasi/ingkaran pada suatu pernyataan. Membuat tabel kebenaran dan ingkaran. IV. a. Operasi Konjungsi Membahas operasi konjungsi, memberikan contoh-contoh operasi konjungsi, membuat tabel kebenaran konjungsi, memberikan soal-soal operasi konjungsi. b. Operasi Disjungsi Membahas operasi disjungsi, memberikan contoh-contoh operasi disjungsi, membuat tabel kebenaran operasi disjungsi, dan memberikan soal-soal operasi disjungsi. V. a. Operasi Implikasi Membahas operasi implikasi, memberikan contoh-contoh operasi implikasi, membuat tabel kebenaran implikasi, serta memberikan soalsoal operasi implikasi. b. Operasi Biimplikasi Membahas operasi biimplikasi, memberikan contoh-contoh operasi biimplikasi, membuat tabel kebenaran biimplikasi dan memberikan soal-soal biimplikasi. VI. Tabel kebenaran dari gabungan operasi-operasi logika (operasi biner) Memberikan contoh-contoh beberapa tabel kebenaran dan penyelesaiannya, memberikan tugas kelompok untuk menyelesaikan tabel kebenaran yang dipresentasikan pada pertemuan berikutnya. VII.Presentasi Tabel Kebenaran VIII. UTS IX. Tautologi dan Kontradiksi Membahas beberapa kebenaran yang merupakan tautologi dan kontradiksi, memberikan soal-soal tautologi dan kontradiksi X. Kontingensi Membahas kontingensi dan memberikan soal kontingensi. XI. Konvers, Invers, dan Kontrapositip Membahas pernyataan konvers, invers, dan kontrapositip dari pernyataan implikasi, memberikan soal-soal invers, kontrapositip, dan implikasi. XII.Argumen/Penarikan Kesimpulan Membahas cara membuat suatu kesimpulan dari beberapa pernyataan a. Modus Ponens Membahas cara membuat kesimpulan dari pernyataan dengan modusmodus ponens. b. Modus Tollens Membahas cara membuat kesimpulan dari pernyataan dengan modusmodus tollens. XIII. Sillogisme Membahas cara membuat kesimpulan dari pernyataan dengan bentuk sillogisme. Memberikan soal-soal tentang modus ponens, tollens, dan sillogisme. XIV. Pembuktian Validitas Membahas pembuktian validitas XV. Kuantor a. Membahas kuantor umum dan memberikan contoh-contoh kuantor umum. b. Membahas kuantor khusus dan memberikan soal-soal tentang kuantor umum dan kuantor khusus. c. Memberikan tugas membuat makalah argumen. XVI. UAS D. Daftar Literatur 1. Ruseffendi E.T 2. F. Soesianto 3. Setiadi R (1988) Dasar-dasar Matematika Modern Bandung, Tarsito (2003) Logika Proposisional : Yogyakarta, Andi (2004) Pengantar Logika Matematika, Bandung, Informatika.