Modul Pembelajaran: Predicate Logic

Disusun Oleh :

 Miftahullah Surya Nugraha ( 22106050038)

 Abdullah Ridho Laksmana (22106050009)
 Rafi Alaudin Al-Hafidz (22106050019)

Predikat adalah properti, informasi tambahan untuk mengekspresikan sub

jek kalimat dengan lebih baik. Predikat ini juga merupakan ekspresi dari satu at
au lebih variabel yang didefinisikan pada beberapa domain tertentu. Predikat de
ngan variabel dapat dijadikan proposisi dengan memberikan nilai pada variabel
atau dengan menghitung variabel.
Sebagai contoh :
Dalam P(x) : x>5, x adalah subjek atau variabel dan '>5' adalah predikatnya.
P(7) : 7>5 adalah proposisi di mana kita memberikan nilai ke variabel x, dan me
miliki nilai kebenaran, yaitu Benar.
Himpunan nilai yang dapat diasumsikan oleh variabel predikat disebut Semesta
atau Domain
Predicate logic ini adalah perpanjangan dari logika proposisional yang me
ncakup predikat dan kuantifikasi Predicate logic membantu menganalisis ruang
lingkup subjek atas predikat. Ada tiga quantifiers : Universal Quantifier (∀) men
ggambarkan untuk semua, Existential Quantifier (∃) menggambarkan ada beber
apa dan Uniqueness Quantifier (∃!) menggambarkan tepat satu.
Propositional functions adalah suatu pernyataan dalam bentuk P
(x1, x2, . . . .xn) adalah suatu nilai dari Propositional functions P, disini (x1, x2, . . . .xn)
merupakan n-tuple dan P adalah sebuah predikat. Dapat diasumsikan bahwa
Propositional functions ialah suatu fungsi yang mengevaluasi nilai benar atau
salah dan dapat menerima argumen lebih dari satu.
Universe of discourse adalah kumpulan entitas di mana variabel tertentu
yang diminati dalam beberapa perlakuan formal dapat berkisar.
Latihan Soal
P(x,y) : x + y < 10
1) identifikasi varibel dan predikat dari simbol diatas !
2) jika nilai x= 4 dan y = 2 , tentukan nilai dari predicate logic tersebut !
3) diketahui r (x,y) dengan pernyataan (x<y), apakah nilai kebenaran dari r
(6,9) dan r (7.4) !
4)
a. setiap anak menyukai setiap jajan
b. setiap orang yang menyukai jajan bukanlah seorang fanatik vitamin
c. setiap orang yang makan wortel adalah seorang fanatik vitamin
d. rama membeli sepatu
e. semua orang yang suka komputer menyukai pemrograman
Proposional Logic
Contoh Logika Proposional :
3+6=9
kuala lumpur adalah ibu kota malaysia.
Lima dan dua menjadi tujuh
Tahun 2020 adalah tahun terburuk
wortel berwarna oren.

Solusi :
1) x dan y pada simbol di soal merupakan variabel yang mana bis akita masuka
n nilai berdasarkan domainnya
‘x+y < 10 ‘ merupakan predikat

2) P( 4,2) : 6 < 10 , ketika kita memasukkan nilai pada variabel x dan y ke dala
m predikat maka akan menjadi sebuah proposisi dan dengan nilai x = 4 dan
y =2 proposisi diatas bernilai ‘False’
3) Sebab 6 < 9 , maka r (6,9) bernilai benar
Sebab 7 < 4 , maka r (7,4) bernilai salah

4)

a. ∀x, ∀y : anak (x) ∧ chiki (y)

(yang menyukai (x,y)
-setiap anak menyukai chiki
b. ∀x, ∃y :jajan (y) ∧ menyukai(x,y)
( ~fanatik vitamin(x)
-setiap orang yg menyukai chiki tidak fanatic vitamin (x)
c. Ax, ∃y :wortel (y) ∧ makan (x,y)
( fanatik vitamin (x)
-setiap orang yang makan wortel adalah fanatik vitamin (x,y)
d. ∃x : sepatu(x)
( membeli (rama,x)
- rama membeli sepatu
e. ∀x, ∀y : suka(x,komputer) ∧ pemrograman (y)
(menyukai (x,y)
- semua orang yang suka komputer menyukai pemrograman

Referensi

GeeksforGeeks. (2022, Januari 10). Difference between Propositional Logic and Predicate Logic. Ret
rieved from https://www.geeksforgeeks.org: https://www.geeksforgeeks.org/difference-betwe
en-propositional-logic-and-predicate-logic/
javatpoint. (n.d.). Predicate Logic. Retrieved from https://www.javatpoint.com/: https://www.tutorials
point.com/discrete_mathematics/discrete_mathematics_predicate_logic.htm
tutorialspoint. (n.d.). Discrete Mathematics - Predicate Logic. Retrieved from https://www.tutorialspo
int.com: https://www.tutorialspoint.com/discrete_mathematics/discrete_mathematics_predicat
e_logic.htm