1.

formalni jezik iskazne logike

2. veznici
3. induktivne definicije
4. formalni jezik
5. semantika iskazne logike
6. teorema i zameni ekvivalenata
7. veze između veznika
8. odlučivost iskazne logike
9. bulove algebre
10. lindenbaumova algebra
11. funkcionalna potpunost iskazne logike
12. konjuktivna i disjunktivna normalna forma
13. dualnost između konjukcije i disjunkcije
14. potpunost iskazne logike
15. prirodno-dedukcijska pravila za iskaznu logiku
16. relacijsko-operacijske strukture
17. jezik prvog reda
18. valjane formule
19. prirodno-dedukcijska pravila za kvantifikatore
20. prirodno-dedukcijska pravila za jednakost

1. šta je to definicija?
2. šta je to logička forma?
3. šta je drvo formule?
4. šta je istinitosna funkcionalnost?
5. šta je matematička indukcija?
6. šta je metajezik ?
7. šta je algebra?
8. šta je sintaksa?
9. šta je semantika?
10. šta je valuacija?
11. šta je tautologija?
12. šta su šeferovi veznici?
13. šta su de morganovi zakoni?
14. šta je dedukcija?
15. šta je hilbertovski sistem?
16. šta je teorema?
17. šta je model?
18. šta je promenljiva?
19. šta je supstitucija?
20. šta je preneksna normalna forma?