Tugas Mata Kuliah Logika Informatika

First Order Logic 2

Soal!

1. Jelaskan tentang Free Variable!

2. Jelaskan tentang Closed Formula!

Answer:

Syntax First Order Logic :

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

1. Free Variable adalah salah satu jenis pembagian variable dalam FOL dimana predikat dalam
formula memiliki variable bebas, yang berarti variable dalam predikat tidak terikat dengan
quantifier. Maka, jika ada salah satu atau tidak sama sekali variable yang terikat dengan
quantifier, maka akan disebut dengan Free Variable.
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.

2. Closed Formula adalah kondisi dimana predikat dalam sebuah formula tidak memiliki free
variable, yang berarti setiap variable dalam predikat diikat dengan quantifier.
Contoh: ∀x∃y P(x,y), merupakan pernyataan )irst order logic yang tidak memiliki variabel
bebas, karena terikat dengan kedua quantifier.

Nama : Jumadi H Damanik

NIM : 11S18066
Prodi : S1 Informatika 2018

Sumber: Ben-Ari3rd buku panduan login