120 likes | 772 Views
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
E N D
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 • Simbol konstanta : true dan false • Simbol variabel proposisi : p,q,r,,p1,q1,… • Literal adalah atom atau negasinya lprop: sintaks - LFD - 2007
OPERATOR LOGIKA lprop: sintaks - LFD - 2007
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
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
AMBIGUITY • Ambigu : mempunyai banyak arti • Contoh : pqr berarti p(qr ) atau (pq)r • Untuk menghilangkan ambiguity bisa menggunakan ( dan ) atau prioritas operator (precedence) lprop: sintaks - LFD - 2007
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
OPERATOR PRECEDENCE lprop: sintaks - LFD - 2007