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

Inferensi pada FOL
Schemata

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? no

Only statements can be

propositions.
 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 Probably

proposisi tersebut? false
 The Statement/Proposition Game
“x < y if and only if y > x.” (Sem.Pemb. Bilangan)

Apakah ini suatu pernyataan? yes

yes
Apakah ini suatu proposisi?
… 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