|
|
Pojam izvodjenja u formalnoj teoriji
U odnosu na formalnu teoriju razlikuju se dva tipa izvodjenja: - izvodjenje iz aksioma - izvodjenje iz hipoteza
Def 1. Konacan niz formula B1,b2,..Bn formalne teorije τ zovemo izvodjenje (dedukcija, dokaz) u teoriji ako svaka formula Bi (1 2. Bi je direktna posledica nekih prethodnih formula niza po izvesnom pravilu izvodjenja u τ. Izvodjenje iz aksioma je poseban slucaj iz hipoteze i to onaj kada je skup hipoteza prazan skup. def 4. ako za ma koju formulu teorije τ postoji nacin da se odluci da li je teorema te teorije ili nije, kaze se da je teorija τ odluciva. Ispitivanje neke formalne teorije pripada meta-teoriji te formalne teorije.