Tugas Mata Kuliah Logika Informatika

First Order Logic

Soal!

Apakah yang dimaksud dengan first order logic?

Answer:

First order logic adalah salah satu jenis system formal, yang digunakan untuk membuktikan nilai
kebenaran dari sebuah pernyataan. Dalam First-Order-Logic, setiap pernyataan memiliki predikat(P),
yang berfungsi untuk menghubungkan pernyataan satu dengan yang lain{P(x,y)}, dimana x dan y
merupakan variabel yang bersifat dinamis. Dalam first order logic, memiliki 2 jenis symbol quantifier,
yaitu Universal Quantifier(∀) yang menyatakan bahwa pernyataan bersifat umum dan Eksistensial
Quantifier(∃) yang menyatakan quantifier yang hanya mencakup sebagian.

Terdapat 3 jenis pembagian variabel. Yaitu:

- Free Variabel(predikat yang memiliki variabel bebas yang tidak terikat dengan quantifier),
contoh: P(x,y) -> memiliki 2 variabel bebas, dan ∃y P(x,y) yang memiliki 1 buah variabel x,
karena salah satu variabel y nya terikat dengan Eksistensial Quantifier.
- has no Free Variabel(Closed Formula), yaitu tidak memiliki salah satu variabel bebas, contoh:
∀x∃y P(x,y), merupakan pernyataan first order logic yang tidak memiliki variabel bebas,
karena terikat dengan kedua quantifier.

Syntax First Order Logic :

∀x(-∃y P(x,y) V -∃y P(x,y))

Nama : Jumadi Damanik

NIM : 11S18066

Prodi : S1 Informatika