Professional Documents
Culture Documents
Odgovori:
3. ISKAZNE FORMULE – iskazne formule nastaju ako se iskazna slova povežu znakom
logičke operacije. Po def iskazi su :
a. Iskazna slova su iskazne formule
b. Ako su A i B iskazne formule, onda je (A*B) iskazna formula gde je znak * znak
logične operacije
c. Mogu se obrazovati jedino preko primene pravila
Vrednosti koje može da ima iskazna formula su 0 i 1. Sve iskazne formule se dele na 3 grupe:
d. One koje imaju vrednost 1, zove se tautologija
e. One koje imaju vrednost 0, kontradikcije (negacija tautologije)
f. One koje menjaju vrednost skupa iskaznih formula.
8. VALJANE FORMULE – formula je valjana ako je tačna pri svakoj interpretaciji. Ta formula
nije tautologija – to je formula iskaznog računa. CHURCH 1936 – neodlučivost (ne može da
se da metoga koja će to da odluči). HERBRAND 1930. – poluodlučivost. Ako je formula
valjana to možemo saznati tj dokazati. Značaj valjane formule: A1, A2, ...An=B, A1, A2...n B
su neke formule i kako god se napravi domen i preslikavanje, ako je u nekom od tih slučaj da
su obe tačne, mora biti i B tačno. B je semantička posledica. U svakoj interpretaciji gde važe
rpetpostavke mora da važe i te posledice. Odnos preduslova i zaključaka može da se prevede
na formalnom jeziku. A1...An= B ako A1 A2 ... An B. Uzročno posledični odnos se
poklapa sa valjanošću neke formule. Postoji formalna teorija (račun K) koja formalizuje sve
to.
9. REKURZIVNE FUNKCIJE – def. Za funkciju f: NkN, gde je K neki pozitivan prirodan
broj, kažemo da je rekurzivna ako postoji bar jedan konačan niz funkcija f1, f2,... fn tako da
svaka funkcija f toga niza zadovoljva uslov:
a. fi je polazna funkcija, ili
b. fi se određuje pomoću nekih prethodnih članova niza rekurzijom, supstitucijom ili -
operatorom
Polazne funkcije:
c. N(x)=0 (nula funkcija)
d. S(x)=x+1 (naslednik funkcija)
e. Uij(x1, x2... xj)=xi (projekcijska funkcija)
Rekurzija:
f. F(0)=k
g. F(y+1)=h(y,f(y))
h. F(x1...xn,0)=q(x1...xn)
i. F(x1...xn,y+1)=h(x1...xn,y, f(x1...xn,y)
Rekurzija je nastanak funkcije pomoću drugih funkcija.
- supstitucija: f(x1...xn)=g(h1(x1...xn), h2(x1...xn), ... hk(x1...xn))
- - operator: f(x1...xn)=y(q(x1...xn,y)=0)