SILABUS - Silabus UPI

advertisement
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.
Download