30/09/2016

Kontrak Belajar & Sistem Penilaian

Kehadiran 75% dari total pertemuan
Toleransi keterlambatan 20 menit
Ijin sesuai prosedur
PENGENALAN Penilaian
LOGIKA MATEMATIKA UTS 30%
UAS 30%
Tugas 30%
Presensi 10%

SILABUS LOGIKA
Pengenalan Logika Matematika Logika berasal dari kata Logos, dalam bahasa Inggris artinya
Pengantar Logika Proposisional word , speech atau what is spoken, lebih dekat dengan kata
Tabel kebenaran reason atau thought.
Proposisi Majemuk
Tautologi Ilmu logika didefinisikan sebagai ilmu pengetahuan yang
Ekuivalensi logis mempelajari atau berkaitan dengan prinsip-prinsip dari penalaran
Penyederhanaan argumen yang valid.
Strategi pembalikan
Tablo semantik Logika disebut juga logika simbol karena mempelajari simbolisasi
Bentuk Normal logika secara formal.
Resolusi
Deduksi alami
Kalkulus deret

ARGUMEN VALIDASI ARGUMEN

Argumen adl suatu usaha untuk mencari kebenaran dari suatu Premis?
pernyataan berupa kesimpulan, dengan berdasarkan kebenaran Argumen?
dari suatu kumpulan pernyataan yang disebut premis-premis
Argumen valid/tidak?
Validitas yang logis ?
Contoh 1 Argumen logis yang kuat secara logis?
Semua mahasiswa pandai
Badu adalah mahasiswa
Dengan demikian, Badu pandai

Contoh 2
Semua manusia bermata empat
Badu seorang manusia
Dengan demikian, Badu bermata empat

1
 30/09/2016

Validitas argumen adalah premis-premis yang diikuti

oleh suatu kesimpulan yang berasal dari premis-
premisnya dan bernilai benar. Validitas dapat dibedakan
berdasarkan kebenaran dari kesimpulan.
Contoh 1
Suatu argumen dinyatakan valid jika kesimpulan benar Semua mamalia adalah hewan berkaki empat. premis 1
dan diambil dari premis-premis yang benar dan premis- = salah.
premis yang benar menghasilkan kesimpulan yang Semua manusia adalah mamalia. premis 2 = benar.
benar. Dengan demikian, semua manusia adalah hewan berkaki
empat. . Kesimpulan = salah, tetapi argumen ini valid,
Validitas yang logis hubungan antara premis-premis dengan karena kesimpulan diambil dari premis-premis yang ada.
kesimpulan yang memastikan bahwa jika premis-premis
benar, maka harus diikuti dengan kesimpulan yang benar,
yang diperoleh dengan menggunakan aturan-aturan logika.
Kesimpulan juga harus berasal dari premis-premisnya.

Argumen logis disebut kuat secara logis, jika dan hanya jika
argumennya valid dan semua premis-premisnya bernilai
benar.

Contoh 2
Logika Klasik
Ada jenis makhluk hidup berkaki dua. .. premis 1 = benar.
Semua manusia adalah makhluk hidup. .premis 2 = benar.
Dengan demikian, semua manusia berkaki dua. kesimpulan = benar, Logika klasik pertama kali diperkenalkan oleh Aristoteles
tetapi argumen ini tidak valid, karena kesimpulan tidak didapat dari
(384-322 SM), filsuf dan ahli sains dari Yunani, seorang
premis-premis yang ada. (antara premis dan kesimpulan tidak ada
hubungannya ). murid dari Ajademi Plato, sehingga logika yang
diperkenalkannya disebut Logika Aristoteles.
Dapat disimpulkan bahwa logika hanya mempermasalahkan bentuk dari Aristoteles mengembangkan suatu aturan-aturan untuk
argumen, bukan isi argumen
penalaran silogistik yang benar.

Silogisme adl argumen berbentuk pernyataan, yang

dapat berupa salah satu dari 4 bentuk berikut: : Logika Modern
1. Semua A adalah B (Universal Affirmative).
2. Tidak A adalah B (Universal Negative). Logika Modern atau Logika Simbolik dikembangkan dari
3. Beberapa A adalah B (Particular Affirmative). logika Aristoteles oleh Augustus De Morgan (1806-1971)
4. Beberapa A adalah tidak B (Particular Negative).
dan George Boole (1815-1864).
Huruf A dan B kata benda (Terms of syllogisme)
Ex : manusia, hewan, berkaki dua, dll Logika ini membahas argumen-argumen yang
memungkinkan sesuatu dapatdimasukkan ke dalam
bentuk yang lebih luas daripada hanya bentuk silogistik.
Suatu silogisme yang berbentuk sempurna disebut well-
formed syllogism jika ia memiliki dua buah premis dan
satu kesimpulan, di mana setiap premis memiliki satu
pokok (term) bersama dengan kesimpulan dan satu lagi
pokok bersama dengan premis lainnya

2
 30/09/2016

Logika moderen disebut juga logika simbolik

Menggunakan simbol : and, or, if.....then....,
LOGIKA BANYAK NILAI
....if and only if....., dll
Logika fuzzy/ logika samar/ logika kabur/ Fuzzy
Logic
Well-formed sentences dalam logika moderen
hanya memiliki satu nilai dari kedua nilai berikut
benar /true/ (1) atau salah/ false / (0) Tidak hanya nilai 0 dan 1 ada juga nilai netral

Logika moderen dijadikan dasar pembuatan Nilai antara 0 dan 1, atau antara -1 dan +1
aljabar boole (Boolean Algebra) yang
dikembangkan oleh George Boole Fuzzy Logic awal muala kecerdasan buatan
(artifical intelligence), sistem pakar (expert
Jenis logika moderen systems), dan pemrograman logika (logic
1. Logika Proposisional programing)
2. Logika Predikat

LATIHAN
Dibawah ini ada beberapa yang berupa argumen,
tentukan premis dan konklusinya!

1. Zodiak dia Leo, sebab dia lahir minggu pertama di

bulan Agustus. TERIMA KASIH
2. Bagaimana nilai akan bagus? Mahasiswa tidak
pernah masuk tiap harinya.
3. Saya belum mau tidur, film-nya belum selesai.
4. Dia bernafas dan untuk itu dia hidup.
5. Adakah yang mengerti tentang dokumen ini?