Contoh Soal
Toni Bakhtiar
September 2012
Jawab
Himpunan semesta: S = fx j x makhluk hidupg.
Misalkan: B (x ) : x burung, F (x ) : x menderita ‡u burung.
Predikat:
(9x 2 S )[ B (x ) ^ F (x )].
(9x 2 S )[ B (x ) ^ F (x )] = (8x 2 S ) [ B (x ) ^ F (x )]
= (8x 2 S )[B (x ) _ F (x )]
= (8x 2 S )[ B (x ) ! F (x )]
= (8x 2 S )[F (x ) ! B (x )].
Jawab
Misalkan S = fx j x orangg,
U (x ) : x mengunjungi peternakan unggas, F (x ) : x menderita ‡u burung.
Proposisi:
(9x 2 S )[U (x ) ^ F (x )]
Jawab
Misalkan S = fx j x mahasiswa TPBg, P (x ) : x mengikuti kuliah
Pengantar Matematika, L(x ) : x belajar logika predikat, I (x ) : x belajar
induksi matematik.
Proposisi:
(8x 2 S )[P (x ) ! (L(x ) ^ I (x ))].
P (x ) : x +2 4,
Q (x ) : x genap.
Jawab
Predikat berkuanti…kasi di atas bernilai benar karena x = 1 2 S
membuat P (1) : 1 + 2 4 bernilai benar dan Q (1) : 1 ganjil
bernilai benar, sehingga P (1) ^ Q (1) benar. Dengan demikian
(9x 2 S ) (P (x ) ^ Q (x )) bernilai benar.
(9x 2 S ) (P (x ) ^ Q (x )) = (8x 2 S ) (P (x ) ^ Q (x ))
= (8x 2 S ) ( P (x ) _ Q (x ))
= (8x 2 S ) (P (x ) ! Q (x )) .
Example
Misalkan diberikan pernyataan: "Ada warga Jakarta yang memunyai hak
pilih tetapi tidak menggunakan hak pilihnya dalam Pemilukada DKI 2012."
Dengan mengambil semesta himpunan warga Jakarta,
nyatakan pernyataan tersebut dalam bentuk lambang,
tuliskan negasi pernyataan tersebut dengan menggunakan suku
pengkuanti…kasi umum (dalam bentuk lambang dan kalimat verbal).
(9x 2 S ) [P (x ) ^ Q (x )].
Negasi:
(9x 2 S ) [P (x ) ^ Q (x )] = (8x 2 S ) [P (x ) ^ Q (x )]
= (8x 2 S ) [ P (x ) _ Q (x )]
= (8x 2 S ) [P (x ) ! Q (x )] .
Jawab
Misalkan S = fx j x manusiag, M (x ) : x mahasiswa, L(x ) : x lulus SD.
Proposisi:
(8x 2 S )[M (x ) ! L(x )].
Proposisi di atas bernilai benar.
Negasi:
(8x 2 S )[M (x ) ! L(x )] = (9x 2 S ) [M (x ) ! L(x )]
= (9x 2 S ) [ M (x ) _ L(x )]
= (9x 2 S )[M (x ) ^ L(x )].
Dalam kalimat verbal: "Ada mahasiswa yang tidak lulus SD."
Toni Bakhtiar (m@thipb) Logika Predikat September 2012 11 / 11