Post on 20-Jan-2016
description
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?