Transcript LOGIKA INFORMATIKA

LOGIKA INFORMATIKA
Yenni Astuti, S.T., M.Eng.
Teknik Informatika STTA
2013
Silabus
• Logika Proposisional
• Logika Predikat
• Rangkaian Logika Kombinasional
• Referensi: Logika Informatika, Gava Media,
Suprapto
Kontrak Kuliah
•
•
•
•
Kehadiran : 20%
Tugas : 30%
UTS : 25%
UAS : 25%
Logika
• Logika  Logos (Yunani): sabda, pikiran, ilmu
• Etimologis  Logika adl. Ilmu ttg pikiran/ ilmu
menalar
• Logika: ilmu pengetahuan & kecakapan
berpikir lurus/ tepat
Logika Proposisional
• Proposisional: Setiap pernyataan yang hanya
memiliki satu nilai benar atau salah
• Contoh: Gajah berbadan besar dibanding
semut  TRUE
• Contoh: Ada kehidupan di bulan atau tidak
ada kehidupan di bulan  TRUE
Logika Proposisional
• Indonesia mempunyai penduduk lebih besar
dari Cina atau Indonesia mempunyai
penduduk lebih kecil atau sama dengan Cina.
 TRUE
• Sekarang tahun 2011 Sebelumnya tahun 2010
 FALSE
• y > 5  bukan proposisional
• P or (not P)  TRUE: Valid
• not (P and (not P)) or Q
• Not ([x<0] dan (not[x<0]) or y>0
• P and (not P)  FALSE: Contradictory
• (p or q) or not (p or q)
• Blog: yennistuff.wordpress.com
• Email: [email protected]