1 / 8

Materi 2 LOGIKA PROPOSISI: SINTAKS

Materi 2 LOGIKA PROPOSISI: SINTAKS. ASK 202-3 LOGIKA FORMAL DASAR Semester Genap 2006/2007. PROPOSISI. Proposisi atau kalimat dalam logika proposisi bisa berupa Atom/kalimat sederhana Kalimat kompleks, komposisi kalimat menggunakan operator logika Kalimat sederhana bisa berupa

tariq
Download Presentation

Materi 2 LOGIKA PROPOSISI: SINTAKS

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Materi 2 LOGIKA PROPOSISI: SINTAKS ASK 202-3 LOGIKA FORMAL DASAR Semester Genap 2006/2007

  2. PROPOSISI • Proposisi atau kalimat dalam logika proposisi bisa berupa • Atom/kalimat sederhana • Kalimat kompleks, komposisi kalimat menggunakan operator logika • Kalimat sederhana bisa berupa • Simbol konstanta : true dan false • Simbol variabel proposisi : p,q,r,,p1,q1,… • Literal adalah atom atau negasinya lprop: sintaks - LFD - 2007

  3. OPERATOR LOGIKA lprop: sintaks - LFD - 2007

  4. SINTAKS • Definisi kalimat/proposisi : • Setiap konstanta logika true dan false adalah proposisi • Variabel logika p,q,r,,p1,q1,… adalah proposisi • Jika  dan  adalah proposisi maka  ,  ,   dan  adalah proposisi • Tidak ada bentuk lain yang merupakan proposisi lprop: sintaks - LFD - 2007

  5. MEREPRESENTASIKAN FAKTA • Proposisi bisa merepresentasikan kalimat berita • p : saya malas belajar • q : saya lulus kuliah • p  q : saya malas belajar dan lulus kuliah • p q : jika malas belajar saya tidak lulus kuliah lprop: sintaks - LFD - 2007

  6. AMBIGUITY • Ambigu : mempunyai banyak arti • Contoh : pqr berarti p(qr ) atau (pq)r • Untuk menghilangkan ambiguity bisa menggunakan ( dan ) atau prioritas operator (precedence) lprop: sintaks - LFD - 2007

  7. WELL-FORMED FORMULA (WFF) • Setiap atom adalah wff • Jika A dan B adalah wff maka proposisi berikut ini juga wff : (A), (A  B), (A  B), (A  B) • Tidak ada bentuk lain yang wff lprop: sintaks - LFD - 2007

  8. OPERATOR PRECEDENCE lprop: sintaks - LFD - 2007

More Related