Istorija broja pi
Objavio Lejla1111111 13. mart 2024.
Seminarski radovi, Skripte, Matematika
Objavio natalija02 23. decembar 2014. Prijavi dokument
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.
Objavio Lejla1111111 13. mart 2024.
Objavio dejana1995 31. januar 2024.
Objavio mara26 06. januar 2024.
Objavio DJOKO MEKLAUD 27. mart 2024.
Objavio nejra.16 27. mart 2024.
Objavio bojana.petr 27. mart 2024.
Objavio DJOKO MEKLAUD 27. mart 2024.
Objavio nejra.16 27. mart 2024.
Objavio bojana.petr 27. mart 2024.
Komentari
You must be logged in to post a comment.