Silabus Logika Matematika,

SILABUS

Nama Sekolah              : SMA

Mata Pelajaran             : MATEMATIKA

Kelas/Program             : X

Semester                      : 2

STANDAR KOMPETENSI:

2.    Menggunakan logika matematika dalam pemecahan masalah yang berkaitan dengan pernyataan majemuk dan pernyataan berkuantor.

KOMPETENSI DASAR	INDIKATOR	MATERI PEMBELAJARAN	KEGIATAN PEMBELAJARAN	PENILAIAN	WAKTU	SUMBER BELAJAR
4.1   Menentukan nilai kebenaran dari suatu pernyataan majemuk dan pernyataan berkuantor	·        Menentukan nilai kebenaran dari suatu pernyataan berkuantor ·        Menentukan ingkaran dari suatu pernyataan berkuantor ·        Menentukan nilai kebenaran dari suatu pernyataan majemuk ·        Menentukan ingkaran dari suatu pernyataan majemuk	Logika Matematika ·      Pernyataan  dan Nilai Kebenarannya ·      Pernyataan Berkuantor ·      Negasi dari suatu pernyataan ·      Pernyataan majemuk  : Nilai kebenaran dan negasinya o   Konjungsi o   Disjungsi o   Implikasi	·      Membedakan pernyataan dan bukan pernyataan ·      Menentukan nilai kebenaran dari suatu pernyataan ·      Menentukan ingkaran suatu pernyataan ·      Mengidentifikasi karakteristik pernyataan majemuk berbentuk konjungsi, disjungsi dan implikasi ·      Merumus nilai kebenaran dari pernyataan majemuk berbentuk konjungsi, disjungsi dan implikasi dengan tabel nilai kebenaran ·      Menentukan nilai kebenaran dari pernyataan majemuk berbentuk konjungsi, disjungsi dan implikasi ·      Merumus negasi dari pernyataan majemuk berbentuk konjungsi, disjungsi dan implikasi dengan tabel nilai kebenaran ·      Menentukan negasi dari pernyataan majemuk berbentuk konjungsi, disjungsi dan implikasi ·      Mengidentifikasi pernyataan sehari-hari yang mempunyai keterkaitan dengan pernyataan majemuk ·      Mengidentifikasi hubungan antara implikasi dengan konves, invers dan kontraposisinya ·      Menentukan konves, invers dan kontraposisi dari pernyataan berbentuk implikasi	Metode : §  Tugas Individu §  Tugas Kelompok §  Ulangan Bentuk Instrumen: §  Kuiz §  Tes Tertulis PG §  Tes Tertulis Uraian	8 x 45’	Sumber: ·  Buku Paket ·  Buku referensi lain Alat: ·      Laptop ·      LCD
4.2   Merumuskan pernyataan yang setara dengan pernyataan majemuk atau pernyataan berkuantor yang diberikan	·         Memeriksa kesetaraan antara dua pernyataan majemuk atau pernyataan berkuantor ·         Membuktikan kesetaraan antara dua pernyataan majemuk atau pernyataan berkuantor ·         Membuat pernyataan yang setara dengan pernyataan majemuk atau pernyataan berkuantor	·      Kesetaraan (ekuivalensi) dari dua pernyataan majemuk ·      Tautologi dan Kontradiksi	·      Mengidentifikasi pernyataan majemuk yang setara (ekuivalen) ·      Memeriksa kesetaraan antara dua pernyataan majemuk atau pernyataan berkuantor ·      Membuktikan kesetaraan antara dua pernyataan majemuk atau pernyataan berkuantor dengan sifat-sifat logika matematika  ·      Mengidentifikasi karakteristik dari pernyataan tautologi dan kontradiksi dari tabel nilai kebenaran ·      Memeriksa apakah suatu pernyataan majemuk merupakan suatu tautologi atau kontadiksi atau bukan keduanya	Metode : §  Tugas Individu §  Tugas Kelompok §  Ulangan Bentuk Instrumen: §  Kuiz §  Tes Tertulis PG §  Tes Tertulis Uraian	4 x 45’	Sumber: ·  Buku Paket ·  Buku referensi lain Alat: ·      Laptop ·      LCD
4.3   Menggunakan prinsip logika matematika yang berkaitan dengan pernyataan majemuk dan pernyataan berkuantor dalam penarikan kesimpulan dan pemecahan masalah	·         Memeriksa keabsahan penarikan kesimpulan menggunakan prinsip logika matematika ·         Menentukan kesimpulan dari beberapa premis yang diberikan	·      Penarikan Kesimpulan o   Modus Ponens o   Modus Tolens o   Silogisma	·      Mengidentifikasi cara–cara penarikan kesimpulan dari beberapa contoh yang diberikan ·      Merumuskan cara penarikan kesimpulan berdasarkan implikasi (modus ponens, modus tolens dan silogisma) ·      Memeriksa keabsahan dari penarikan kesimpulan ·      Menyusun kesimpulan yang syah berdasarkan premis-premis yang diberikan.	Metode : §  Tugas Individu §  Tugas Kelompok §  Ulangan Bentuk Instrumen: §  Kuiz §  Tes Tertulis PG §  Tes Tertulis Uraian	4 x 45’	Sumber: ·  Buku Paket ·  Buku referensi lain Alat: ·      Laptop ·      LCD