Logika Informatika

Logika Informatika
FAJRIAN NUR ADNAN, MCS
Materi Perkuliahan
UTS
UAS
Kontrak Kuliah serta Kalimat dan Proposisi
Pembahasan dan Evaluasi
Proposisi Majemuk dan Tabel Kebenaran
Prinsip Resolusi dan inferensi Klausul
Implikasi dan Tautologi
Logika Relasional
Inferensi dan Kuantor
FOL
Deduksi dan Logika Entailment
Inferensi Pada Proposinal Logic
Rule of Inference dan Standar Axiom
Schemata
Inferensi pada FOL
Kalusul
Responsi
Kontrak Kuliah
Poin
Bobot
UTS
40
UAS
35
Keaktifan
10
Role
Pengenalan Informal
Kata : ??
Rangkaian huruf yang mengandung arti
Kalimat : ??
kumpulan kata yang disusun menurut aturan tata bahasa dan
mengandung arti
Pernyataan : ??
kalimat yang bersifat menerangkan
FIKA HASTARITA R - UTM 2012
Logika
Logika adalah suatu bahasa untuk reasoning.
Kumpulan aturan-2  bekerja dng alasan logis (logical reasoning)
Dalam Logika kita tertarik dengan pernyataan
- benar (true) dan salah (false)
- bagaimana kebenaran/kesalahan pernyataan dapat ditentukan dari pernyataan yang lain.
Terdapat bermacam-macam logika misalnya logika pd kalimat (propositional logic). Logika pd
obyek (predicate logic)
FIKA HASTARITA R - UTM 2012
Kalimat Deklaratif
Kalimat yang bernilai benar atau salah tetapi tidak keduanya
Contoh:
FIKA HASTARITA R - UTM 2012
Deklaratif = Proposisi
• Dikatakan bahwa nilai kebenaran daripada suatu proposisi adalah salah satu dari benar (true
disajikan dengan T) atau salah (false disajikan dengan F).
• Dalam untaian digital (digital circuits) disajikan dengan 0 dan 1
FIKA HASTARITA R - UTM 2012
Operator / Functor
1) Saya mempunyai uang dan saya lapar
2) Jika balok mempunyai berat jenis lebih be
sar dari 1 maka ia akan tenggelam diair.
3) Ir. Sukarno presiden pertama RI dan ia pro
klamator negara RI
4) Saya berangkat naik becat atau naik angkot.
5) Lampu mobil mati karena plentongnya mati
atau kabelnya putus.
FIKA HASTARITA R - UTM 2012
The Statement/Proposition Game
“Gajah lebih besar daripada tikus.”
Apakah ini suatu pernyataan?
yes
Apakah ini suatu proposisi?
yes
Apa nilai kebenaran daripada
proposisi tersebut?
true
The Statement/Proposition Game
“520 < 111”
Apakah ini suatu pernyataan ?
yes
Apakah ini suatu proposisi?
yes
Apa nilai kebenaran daripada
proposisi tersebut?
false
The Statement/Proposition Game
“y > 5”
Apakah ini suatu statement?
yes
Apakah ini suatu proposisi?
no
Nilai kebenarannya tergantung pada
nilai daripada y , tetapi nilai ini tidak
diberikan (not specified).
Kita sebut tipe pernyataan ini suatu
fungsi proposisional atau kalimat
terbuka.
The Statement/Proposition Game
“Hari ini Jan. 28 and 99 < 5.”
Apakah suatu statement?
yes
Apakah ini suatu proposition?
yes
What is the truth value
of the proposition?
false
The Statement/Proposition Game
“Please do not fall asleep.”
Apakah ini suatu pernyataan?
no
Ia adalah suatu permintaan.
Apakah ini merupakan proposisi?
Only statements can be
propositions.
no
The Statement/Proposition Game
“Jika gajah berwarna merah,
Mereka dapat sembunyi dibawah pohon perdu.”
Apakah ini suatu pernyataan?
yes
Apakah ini suatu proposisi?
yes
Apa nilai kebenaran daripada
proposisi tersebut?
Probably
false
The Statement/Proposition Game
“x < y if and only if y > x.” (Sem.Pemb. Bilangan)
Apakah ini suatu pernyataan?
Apakah ini suatu proposisi?
yes
yes
… karena nilai kebenarannya tidak
tergantung pada nilai yang
diberikan untuk x dan y
Apa nilai kebenaran daripada
proposisi tersebut?
true
Definisi Logika Proposisional
Definisi
- kalimat deklaratif (atau pernyataan)
- memiliki hanya satu nilai kebenaran (benar atau salah)
- tidak keduanya
Proposisi yang bukan hasil kombinasi dari proposisi-pro posisi
disebut atom.
Jika atom-atom akan dikombinasikan untuk memperoleh proposisi
baru maka diperlukan operator logika atau operator sambung yang
dilambangkan dgn simbol