1. formalni jezik iskazne logike

2. veznici

3. induktivne definicije

4. formalni jezik

5. semantika iskazne logike

6. teorema i zameni ekvivalenata

7. veze izmeu veznika

8. odluivost iskazne logike

9. bulove algebre

10. lindenbaumova algebra

11. funkcionalna potpunost iskazne logike

12. konjuktivna i disjunktivna normalna forma

13. dualnost izmeu 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 logika forma?

3. ta je drvo formule?

4. ta je istinitosna funkcionalnost?

5. ta je matematika 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? nauci iz svoje sveske

16. ta je teorema?

17. ta je model?

18. ta je promenljiva?

19. ta je supstitucija?

20. ta je preneksna normalna forma?