FM-UDINUS-BM-08-04/R0

SILABUS MATAKULIAH

Revisi :2
Tanggal Berlaku : September 2014

A. Identitas
1. Nama Matakuliah
2. Program Studi
3. Fakultas
4. Bobot sks
5. Elemen Kompetensi
6. Jenis Kompetensi
7. Alokasi waktu total
: A11.54406/ Logika Informatika
: Teknik Informatika-S1
: Ilmu Komputer
: 3 SKS
: MKK
: Kompetensi Dasar
: 14 X 150 Menit

B. Unsur-unsur Silabus

Kompetensi Alokasi
Indikator Pokok Bahasan/ Materi Aktifitas Pembelajaran Rujukan Evaluasi
Dasar Waktu
Setelah mempelajari Mahasiswa mampu: Kontrak Kuliah Konsep Logika 150 menit 3,4 a. Melakukan tanya jawab
materi ini 1. Memahami 1. Menjelaskan hal-hal yang pemahaman mahasiswa
mahasiswa standar Pengantar Logika berkaitan dengan logika b. Memberi latihan di kelas.
diharapkan dapat kompetensi dan Informatika 2. Menjelaskan berbedaan c. Memberi tugas kepada
memahami konsep kompetensi a. Konsep Logika antara persoalan logika mahasiswa untuk
logika, sejarah dasar b. Sejarah dan dengan persoalan aljabar dikerjakan di rumah.
logika, kalimat, 2. Memahami Perkembangan Logika Sejarah Logika
pernyataan konsep logika c. Kalimat 3. Menjelaskan sejarah
(proposisi) dan 3. Mengerti sejarah d. Pernyataan (Proposisi) logika
hubunganya dengan logika 4. Menjelaskan
mata kuliah lain 4. Memahami arti perkembangan logika
sebuah kalimat Kalimat
dan proposisi 5. Menjelaskan arti kalimat
6. Menjelaskan jenis-jenis
kalimat beserta
contohnya
Kalimat Pernyataan

Silabus: Logika Informatika Hal: 1 dari 10

 FM-UDINUS-BM-08-04/R0

Kompetensi Alokasi
Indikator Pokok Bahasan/ Materi Aktifitas Pembelajaran Rujukan Evaluasi
Dasar Waktu
(proposisi)
7. Menjelaskan kalimat
yang disebut pernyataan
8. Menjelaskan arti variabel
9. Menjelaskan arti
konstanta
10. Menjelaskan arti
proposisi atomik
Setelah mempelajari Mahasiswa mampu: Logika Proposisi Proposisi Majemuk 150 menit 1,2 a. Melakukan tanya jawab
materi ini 1. memahami dan a. Konsep Proposisi 1. Menjelaskan arti pemahaman mahasiswa
mahasiswa memberikan b. Proposisi Majemuk proposisi Atomik dan b. Memberi latihan di kelas.
diharapkan dapat contoh proposisi b.1. Negasi Proposisi Majemuk c. Memberi tugas kepada
mengetahui dan majemuk beserta b.2. Konjungsi 2. Menjelaskan Kata mahasiswa untuk
memahami tentang jenis-jenisnya b.3. Disjungsi hubung yang digunakan dikerjakan di rumah.
proposisi majemuk 2. membuat Tabel b.4. Implikasi dalam Proposisi Majemuk
dan jenis-jenisnya, Kebenaran untuk b.5. Bi Implikasi 3. Menjelaskan Jenis-Jenis
proposisi bersyarat, masisng-masing b.6. Tabel Proposisi Majemuk, yang
Tabel Kebenaran jenis proposisi Kebenaran meliputi :
untuk masing- majemuk • Negasi
masing jenis • Disjungsi
proposisi majemuk, • Konjungsi
Tautologi dan • Implikasi
Kontradiksi, • Bi Implikasi
Inferensi Logika dan 4. Memberikan contoh
Kalimat Berkuantor, beberapa proposisi atom
Fungsi proposisi dijadikan proposisi
dengan lebih dari majemuk
satu variabel Tabel Kebenaran
5. Menjelaskan bagaimana
cara membentuk Tabel
Kebenaran untuk
Proposisi Majemuk:
• Negasi

Silabus: Logika Informatika Hal: 2 dari 10

 FM-UDINUS-BM-08-04/R0

Kompetensi Alokasi
Indikator Pokok Bahasan/ Materi Aktifitas Pembelajaran Rujukan Evaluasi
Dasar Waktu
• Disjungsi
• Konjungsi
• Implikasi
• Bi Implikasi
Setelah mempelajari Mahasiswa mampu: Tautologi dan Kontradiksi Tautologi dan Kontradiksi 150 menit 1,2,3,4 a. Melakukan tanya jawab
materi ini 1. memahami a. Konvers 1. Menjelaskan yang pemahaman mahasiswa
mahasiswa konvers, invers b. Invers dimaksud Konvers b. Memberi latihan di kelas.
diharapkan dapat dan kontraposisi c. Kontraposisi 2. Menjelaskan yang c. Memberi tugas kepada
mengetahui dan beserta Tabel dimaksud Invers mahasiswa untuk
memahami tentang Kebenaranya 3. Menjelaskan yang dikerjakan di rumah.
deduksi, logika 2. memahami apa dimaksud Tautologi dan
entailment, rule of yang disebut Kontradiksi
inference, standard Tautologi dan 4. Menjelaskan hubungan
axiom schemata Kontradiksi serta antara ketiganya dengan
dan propositional dapat membuat Tabel Kebenaran
resolusi Tabel 5. Menjelaskan yang
Kebenaranya dimaksud Tautologi dan
Kontradiksi
6. Memberikan Contoh
Tautologi dalam Tabel
Kebenaran
7. Memberikan Contoh
Kontradiksi dalam Tabel
Kebenaran
Setelah mempelajari Mahasiswa mampu: Metode-Metode Inferensi Metode Inferensi 150 menit 1,2 a. Melakukan tanya jawab
materi ini 1. memahami a. Modus Ponens 1. Menjelaskan yang pemahaman mahasiswa
mahasiswa inferensi logika b. Modus Tollens dimaksud Metode b. Memberi latihan di kelas.
diharapkan dapat serta dapat c. Silogisme Disjungtif Inferensi c. Memberi tugas kepada
memahami dan menarik d. Silogisme Hipotesis 2. Menjelaskan apa yang mahasiswa untuk
membentuk kesimpulan disebut premis, konklusi dikerjakan di rumah.
proposisi dalam 2. memahami Kalimat Berkuantor dan bagaimana cara
bentuk klausul, tentang kalimat e. Kuantor Umum mengambil kesimpulan
mengambil berkuantor f. Kuantor Khusus 3. Menjelaskan dan

Silabus: Logika Informatika Hal: 3 dari 10

 FM-UDINUS-BM-08-04/R0

Kompetensi Alokasi
Indikator Pokok Bahasan/ Materi Aktifitas Pembelajaran Rujukan Evaluasi
Dasar Waktu
kesimpulan dalam 3. menentukan g. Negasi Berkuantor memberikan contoh
bentuk klausul, suatu fungsi yang metode
menuliskan mengandung • Modus Ponen
proposisi dalam lebih dari satu • Modus Tolens
bentuk relasional variabel • Silogisme
logic, dan Kuantor
memahami 4. Menjelaskan apa yang
komponen dalam disebut kalimat
relasional logic berkuantor dan
memberikan contoh
5. Menjelaskan perbedaan
kuantor umum dan
kuantor khusu dan
memberikan contoh
Setelah mempelajari Mahasiswa mampu: Logika Entaiment Deduksi 150 menit 1,2,3,4 a. Melakukan tanya jawab
materi ini 1. memahami a. Deduksi 1. Menjelaskan yang pemahaman mahasiswa
mahasiswa kompetensi dasar b. Logika Entaiment dimaksud dengan b. Memberi latihan di kelas.
diharapkan dapat pembahasan b.1. Penjelasan Deduksi yang berkaitan c. Memberi tugas kepada
mengetahui dan mengenai deduksi b.2. Metode Tabel dengan pengambilan mahasiswa untuk
memahami tentang 2. memahami Kebenaran kesimpulan
deduksi, logika bagaimana cara 2. Menjelaskan cara
entailment, rule of penarikan membuktikan beberapa
inference, standard kesimpulan premis dan konklusinya
axiom schemata 3. memahami suatu dengan Tabel
dan propositional pernyataan Kebenaran
resolusi merupakan logika 3. Memberikan Contohnya
entailment atau Logika Entailment
tidak 4. Menjelaskan yang
dimaksud dengan logika
entailment
5. Menjelaskan cara
menuliskan sekumpulan
premis dan konklusinya

Silabus: Logika Informatika Hal: 4 dari 10

 FM-UDINUS-BM-08-04/R0

Kompetensi Alokasi
Indikator Pokok Bahasan/ Materi Aktifitas Pembelajaran Rujukan Evaluasi
Dasar Waktu
merupakan logika
entailment
6. Menjelaskan cara
membuktikan
sekumpulan premis atau
pernyataan merupakan
logika entailment atau
bukan
7. Memberikan contoh dan
penyelesaiannya
Setelah mempelajari Mahasiswa mampu: Rule of Inference Rule of Inference 150 menit 1,2,3,4 a. Melakukan tanya jawab
materi ini 1. memahami dan a. Modus Ponen 1. Mengingatkan kembali pemahaman mahasiswa
mahasiswa menggunakan b. Modus Tolen tentang bermacam- b. Memberi latihan di kelas.
diharapkan dapat rule of inference c. Equivalence Elimination macam rule of inference c. Memberi tugas kepada
mengetahui dan dalam d. Double Negation 2. Menjelaskan cara mahasiswa untuk
memahami tentang penarikan e. Silogisme Disjungtif penarikan kesimpulan dikerjakan di rumah.
deduksi, logika kesimpulan f. Silogisme Hipotesis jika diketahui beberapa
entailment, rule of 2. memahami dan fakta yang tercantum
inference, standard menggunakan Standar Axiom dalam sebuah cerita
axiom schemata standar axiom Schemata Standar Axiom Schemata
dan propositional schemata dalam g. Rumus Dasar 3. Menjelaskan apa itu
resolusi melakukan standar axiom schemata
pembuktian 4. Memperkenalkan rumus
3. memahami dan standar axiom schemata
menggunakan 5. Memberikan contoh
prinsip resolusi penggunaanya
Setelah mempelajari Mahasiswa mampu Bentuk Klausul Bentuk Klausul 150 menit 1,2,3,4 a. Melakukan tanya jawab
materi ini memahami dan a. Definisi Bentuk Klausul 1. Menjelaskan apa yang pemahaman mahasiswa
mahasiswa menggunakan prinsip b. Perubahan ke Bentuk dimaksud bentuk klausul b. Memberi latihan di kelas.
diharapkan dapat resolusi Klausul 2. Menjelaskan cara c. Memberi tugas kepada
mengetahui dan merubah suatu mahasiswa untuk
memahami tentang pernyataan ke dalam dikerjakan di rumah.
bentuk-bentuk bentuk klausul dengan

Silabus: Logika Informatika Hal: 5 dari 10

 FM-UDINUS-BM-08-04/R0

Kompetensi Alokasi
Indikator Pokok Bahasan/ Materi Aktifitas Pembelajaran Rujukan Evaluasi
Dasar Waktu
klausul, menggunakan rumus
mempersiapkan diri dasar standar axiom
schemata
3. Memberikan contoh dan
cara penyelesaiannya
4.

Ujian Tengah Semester (UTS)

Setelah mempelajari Mahasiswa mampu Review soal UTS Penyajian 150 menit 1,2,3 a. Melakukan tanya jawab
materi ini memahami cara 1. Membahas Soal-Soal pemahaman mahasiswa
mahasiswa penyelesaian dan Ujian Tengah Semester b. Memberi latihan di kelas.
diharapkan dapat jawaban yang benar 2. Memberitahukan materi c. Memberi tugas kepada
memahami langkah- dari soal UTS yang akan disampaikan mahasiswa untuk
langkah dikerjakan di rumah.
penyelesaian soal
UTS dan mampu
mengerjakan sendiri

Setelah mempelajari Mahasiswa mampu: Propositional Resolusi Prinsip Resolusi 150 menit 1,2,3 a. Melakukan tanya jawab
materi ini 1. memahami a. Prinsip Resolusi 1. Menjelaskan yang pemahaman mahasiswa
mahasiswa kompetensi b. Bentuk Umum Prinsip dimaksud dengan b. Memberi latihan di kelas.
diharapkan dapat dasar tentang Resolusi prinsip resolusi c. Memberi tugas kepada
memahami dan proposisional c. Inferensi dalam bentuk 2. Menjelaskan apa itu mahasiswa untuk
membentuk Resolusi Klausul bentuk klausul dikerjakan di rumah.
proposisi dalam 2. memahami cara 3. Menjelaskan cara
bentuk klausul, membentuk membentuk sebuah
mengambil sebuah premis ke dalam bentuk
kesimpulan dalam proposisi ke klausul
bentuk klausul, dalam bentuk 4. Menjelaskan cara
menuliskan klausul merubah ke dalam
proposisi dalam bentuk klausul
bentuk relasional 5. Memberikan penjelasan
logic, dan tentang

Silabus: Logika Informatika Hal: 6 dari 10

 FM-UDINUS-BM-08-04/R0

Kompetensi Alokasi
Indikator Pokok Bahasan/ Materi Aktifitas Pembelajaran Rujukan Evaluasi
Dasar Waktu
memahami • Implication Out (I)
komponen dalam • Negations In (N)
relasional logic • Distribution (D)
• Operator Out (O)
6. Memberikan Contohnya
Inferensi dalam Bentuk
Klausul
7. Menjelaskan Inferensi
dalam bentuk klausa
8. Menjelaskan bagaimana
cara membuktikan
kesimpulan dalam
bentuk klausa
9. Mesin inferensi
• Modus Ponen
• Modus Tollen
• Silogisme
10. Memberikan contoh
beserta penyelesaiannya
Setelah mempelajari Mahasiswa mampu: Logika Relasional Logika Relasional 150 menit 1,2,3 a. Melakukan tanya jawab
materi ini 1. memahami dan a. Definisi 1. Menjelaskan yang pemahaman mahasiswa
mahasiswa membuktikan b. Komponen Logika dimaksud dengan logika b. Memberi latihan di kelas.
diharapkan dapat sebuah Relasional relasional c. Memberi tugas kepada
memahami dan pernyataan c. Kalimat Relasional 2. Menjelaskan Komponen mahasiswa untuk
membentuk dalam bentuk d. Kuantor logika relasional dikerjakan di rumah.
proposisi dalam klausul • Kata
bentuk klausul, 2. memahami dan • Konstanta
mengambil mengetahui • Arity
kesimpulan dalam komponen- • Term
bentuk klausul, komponen 3. Memberikan Contohnya
menuliskan logika relasional 4. Menjelaskan Kalimat
proposisi dalam relasional dan beserta
bentuk relasional contohnya

Silabus: Logika Informatika Hal: 7 dari 10

 FM-UDINUS-BM-08-04/R0

Kompetensi Alokasi
Indikator Pokok Bahasan/ Materi Aktifitas Pembelajaran Rujukan Evaluasi
Dasar Waktu
logic, dan 5. Menjelaskan apa yang
memahami dimaksud dengan
komponen dalam kalimat berkuantor
relasional logic
Setelah mempelajari Mahasiswa mampu: First Order Logic First Order Logic 150 menit 1,2,3 a. Melakukan tanya jawab
materi ini 1. memahami a. Pendahuluan 1. Menjelaskan yang pemahaman mahasiswa
mahasiswa kompetensi b. Terjemahan FOL dimaksud dengan First b. Memberi latihan di kelas.
diharapkan dapat dasar Order Logic c. Memberi tugas kepada
memahami pembahasan 2. Menjelaskan apa itu mahasiswa untuk
pengertian First First Order predikat dikerjakan di rumah.
Order Logic, Logic 3. Menjelaskan cara
predikat, 2. memahami dan menuliskan sebuah
terjemahan FOL, menuliskan kalimat dalam bentuk
aturan iferensi FoL, dalam sebuah predikat
tata bahasa pada predikat 4. Memberikan contoh soal
FoL Kalimat Berkuantor
5. Menjelaskan kalimat
biasa menjadi kalimat
berkuantor
6. Memberi contoh
Setelah mempelajari Mahasiswa mampu First Order Logic 1. Menjelaskan aturan 150 menit 1,2,3,6 a. Melakukan tanya jawab
materi ini memahami dan a. Aturan Inferensi pada Inferensi pada pemahaman mahasiswa
mahasiswa menterjemahkan Propositional Logic Proposional Logic b. Memberi latihan di kelas.
diharapkan dapat dalam bahasa FOL b. Modus Ponen 2. Menjelaskan Modus c. Memberi tugas kepada
memahami c. And Elimination Ponen mahasiswa untuk
pengertian First d. And Introduction 3. Menjelaskan And dikerjakan di rumah.
Order Logic, e. Or Intoduction Elimination
predikat, f. Double Negation 4. Menjelaskan And
terjemahan FOL, Elimination Introduction
aturan iferensi FoL, 5. Menjelaskan Or
tata bahasa pada Introduction
FoL 6. Menjelaskan Double
Negation Elimination

Silabus: Logika Informatika Hal: 8 dari 10

 FM-UDINUS-BM-08-04/R0

Kompetensi Alokasi
Indikator Pokok Bahasan/ Materi Aktifitas Pembelajaran Rujukan Evaluasi
Dasar Waktu
7. Memberikan Contohnya
Setelah mempelajari Mahasiswa mampu First Order Logic 1. Menjelaskan tata bahasa 150 menit 1,2,3,6 a. Melakukan tanya jawab
materi ini dan dapat a. Aturan Inferensi pada dalam bentuk FOL pemahaman mahasiswa
mahasiswa menggunakan FOL 2. Memberikan Contohnya b. Memberi latihan di kelas.
diharapkan dapat inference pada FOL b. Tata Bahasa FOL 3. Menjelaskan Inferensi c. Memberi tugas kepada
memahami untuk menarik c. Inferensi pd FOL pada FOL mahasiswa untuk
pengertian First sebuah kesimpulan 4. Menjelaskan aturan dikerjakan di rumah.
Order Logic, inferensi tersebut
predikat,
terjemahan FOL,
aturan iferensi FoL,
tata bahasa pada
FoL
Setelah mempelajari Mahasiswa mampu Responsi dan Review 150 menit 1,2,3,4 a. Melakukan tanya jawab
materi ini menjawab soal-soal Materi pemahaman mahasiswa
mahasiswa responsi dengan baik b. Memberi latihan di kelas.
diharapkan dapat dan benar c. Memberi tugas kepada
mempersiapkan diri mahasiswa untuk
menjelang Ujian dikerjakan di rumah.
Akhir Semester

Ujian Akhir Semester (UAS)

Silabus: Logika Informatika Hal: 9 dari 10

 FM-UDINUS-BM-08-04/R0

Daftar Referensi
1. Mike Genesereth, Eric Kao, Introduction to Logic, Morgan & Claypool Publisher 2012
2. Mordechai Ben-Ari, Mathematical Logic for Computer Science, Springer-Verlag, London 2012
3. Melvin Fitting, First Order Logic and Automated Theorem Proving, Springer-Verlag London 199
4. Setiadi Rachmat, Pengantar Logika Matematika, Informatika, Bandung 2004
5. D Suryadi HS, Aljabar Logika dan Himpunan, Gunadarma, Jakarta 1991
6. Suyanto, ST., MSc, Artificial Intelligence, Informatika, Bandung, 2007

Disusun oleh : Diperiksa oleh : Disahkan oleh :

Dosen Pengampu Penanggungjawab Keilmuan Program Studi Dekan

Purwanto, Ph.D Bowo Nurhadiyono, S.Si., M.Kom Heru Agus Santoso , Ph. D DR. Drs. Abdul Syukur, MM

Silabus: Logika Informatika Hal: 10 dari 10