Logika Informatika Fajrian nur adnan, mcs.

Presentasi berjudul: "Logika Informatika Fajrian nur adnan, mcs."— Transcript presentasi:

1 Logika Informatika Fajrian nur adnan, mcs

2 Materi Perkuliahan UTS UAS Kontrak Kuliah serta Kalimat dan Proposisi
Proposisi Majemuk dan Tabel Kebenaran Implikasi dan Tautologi Inferensi dan Kuantor Deduksi dan Logika Entailment Rule of Inference dan Standar Axiom Schemata Kalusul UAS Pembahasan dan Evaluasi Prinsip Resolusi dan inferensi Klausul Logika Relasional FOL Inferensi Pada Proposinal Logic Inferensi pada FOL Responsi

3 Kontrak Kuliah Poin Bobot UTS 40 UAS 35 Keaktifan 10

4 Role

5 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 Pernyataan = kal. Deklaratif ?? Pernyataan = Proposisi Fika Hastarita R - UTM 2012

6 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

7 Kalimat Deklaratif Kalimat yang bernilai benar atau salah tetapi tidak keduanya Contoh: Fika Hastarita R - UTM 2012

8 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

9 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

10 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

11 The Statement/Proposition Game
“520 < 111” Apakah ini suatu pernyataan ? yes Apakah ini suatu proposisi? yes Apa nilai kebenaran daripada proposisi tersebut? false

12 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.

13 The Statement/Proposition Game
“Hari ini Jan. 28 and 99 < 5.” yes Apakah suatu statement? Apakah ini suatu proposition? yes What is the truth value of the proposition? false

14 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.

15 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

16 The Statement/Proposition Game
“x < y if and only if y > x.” (Sem.Pemb. Bilangan) yes Apakah ini suatu pernyataan? 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

17 Definisi Logika Proposisional
- 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