Odlomak

Kvantifikatorski račun

Formule kvantifikatorskog računa
Formule kvantifikatorskog računa definišemo najprije kao izvjesne nizove simbola. Formule kvantifikatorskog računa se grade po određenim pravilima od tzv. osnovnih simbola kvantifikatorskog računa.
Osnovni simboli kvantifikatorskog računa su :
1.    promenljive: x, y, z, x1 ,y1, z1…, xn, yn, zn, …
2.    konstante: a, b, c, a1, b1, c1,…., an, bn, cn,…
3.   operacijski simboli: f , g, h, f1, g1, h1,…, fn, gn, hn,…
4.   relacijski simboli: α, β, γ, α1, β1, γ1 ,… i                                                                                                                                                                                                                                                                                                                                                                         .     5.   simboli logičkih operacija i kvantifikatori: ¬ , ˅, ˄, =>,
6.   pomoćni simboli: male zagrade i zarezi
: univerzalni kvantifikator, „bilo koji“,  „svaki“,  „ma koji“                                                                      : egzistencijalni kvantifikator, „postoji bar jedan“, „postoji neki“

Formalizacija pravilnog zapisivanja predikata
Def. Izraz je niz promenljivih, konstanti, operacijskih simbola, zagrada i zareza koji se
formira prema sledećim konvencijama:
1. Konstante i promenljive su izrazi (termi)
2. Ako su t1,  t2,….,tn  izrazi, a f operacijski simbol dužine n, tada je f ( t1, t2,… tn ) izraz
3. Izrazi se dobijaju samo pomoću konačno mnogo primjena 1. i 2.

No votes yet.
Please wait…

Prijavi se

Detalji dokumenta

Više u Matematika

Više u Seminarski radovi

Više u Skripte

Komentari