T
 M Y


LOGIKA PREDIKAT #1
TOPIK-4
1.1 Logika Predikat : Motivasi

Logika Proposisi Logika Predikat

P : Mahasiswa
x : orang

P(x) := x adalah orang yang berprofesi sebagai mahasiswa

(secara umum dibaca, x mempunyai sifat P)

Atau bisa ditulis langsung sebagai :

Mahasiswa(x) : x adalah mahasiswa

P dan Mahasiswa adalah symbol, dan disebut PREDIKAT

x : Alex 🡪 P(Alex) = Mahasiswa (Alex) = Alex adalah mahasiswa

x : Bernard 🡪 P(Bernard) = Mahasiswa (Bernard) = Bernard adalah mahasiswa
x : Calvin 🡪 P(Calvin) = Mahasiswa (Calvin) = Calvin adalah mahasiswa

x : variable, disini nilai nya {Alex, Bernard, Calvin} disebut Domain.

1.2 Logika Predikat : Contoh
Pernyataan : x > 2018
Bukan Proposisi, karena nilai kebenarannya ADA setelah nilai x
diberikan.. Pernyataan seperti ini dinamakan Kalimat Terbuka

Bentuk Logika Predikat :

Variable : x ( misal: bilangan bulat = {1,2,3,. . . }=Domain )

Predikat : P = Lebih dari 2018 ( “ > 2018 ” )

🡪 P(x) : x > 2018 ( x lebih besar dari 2018)

P(2000) : 2000 > 2018 🡪 F

P(3000) : 3000 > 2018 🡪 T

P(x)
P(x,y)
P(x,y,z)
n, P(x1 , x2 , . . . xn)
1.3 Logika Predikat biner (arity=2)

Logika Proposisi Logika Predikat

Predikat : Menyukai
Variabel : x, y Menyukai (x,y)
Domain :
1.3 Logika Predikat sebagai Fungsi
Note Fungsi :
f adalah fungsi yang memetakan
bilangan bulat x ke y = x^2 + 1

f : x ---> f(x) = y = x^2 + 1

Nilai x : Nilai y :
0 0^2 + 1 = 1
1 1^2 + 1 = 2
2 2^2 + 1 = 5

P(x) : “x > 2018”

P(2018) := 2018 > 2018 --> F

P(2019) := 2019 > 2018 --> T

1. Logika Predikat : Predikat sebagai Fungsi

Q(x) := 2x = 3y

Q(1, 2) := 2*1 = 3*2

2=6 --> F

Q(3, 2) := 2*3 = 3*2

6 = 6 --> T

R(x,y,z) : x+y = z

R(1, 2, 3) := 1+2 =3
3 = 3 --> T

R(3, 2, 1) := 3+2 =1
5 = 1 --> F
2.1 Kuantifikasi Unversal
2.1 Kuantifikasi Unversal . . Lebih lanjut

Mahasiswa(x)
x: orang dalam ruang kelas
D={Alice, Bob, Charlie}

# Fakta: Alice, Bob, Charlie mahasiswa

Mahasiswa(Alice) --> T
Mahasiswa(Bob) --> T
Mahasiswa(Charlie)--> T

Ax Mahasiswa(x) --> T

# Fakta: Alice & Charlie mahasiswa,

Bob bukan mahasiswa.
Mahasiswa(Alice) --> T
Mahasiswa(Bob) --> F
Mahasiswa(Charlie)--> T

Ax Mahasiswa(x) --> F
x = Bob, dinamakan counter example
2.2 Kuantifikasi Eksistensial
2.2 Kuantifikasi Eksistensial . . . Lebih lanjut

Mahasiswa(x)
x: orang dalam ruang kelas
D={Alice, Bob, Charlie}

# Fakta: Alice & Charlie mahasiswa,

Bob bukan mahasiswa.
Mahasiswa(Alice) --> T
Mahasiswa(Bob) --> F
Mahasiswa(Charlie)--> T

Ex Mahasiswa(x) --> T

# Fakta: Alice, Charlie, Bob ketiganya

bukan mahasiswa.
Mahasiswa(Alice) --> F
Mahasiswa(Bob) --> F
Summary
Summary: : Mahasiswa(Charlie)--> F

Ex Mahasiswa(x) --> F
3.1 Variabel Terikat, Variable Bebas
3.2 Penulisan Kuantor Bersusun
3.3 Cakupan (Scope)
4. Presedent Kuantor dan Operator Logika
5.1 Term & Sub Term
5.2 Formula & Sub Formula Logika Predikat
5.1 Formula & Sub Formula Logika Predikat

Maka Sub-Formula dari A adalah :

T
 M Y