Ispitna pitanja iz Logike

Blok I

Formalni jezik iskazne logike

Veznici
Induktivne definicije
Formalni jezik
Semantika iskazne logike
Teorema i zameni ekvivalenata
Veze između veznika
Odlučivost iskazne logike
Bulove algebre
Lindenbaumova algebra
Funkcionalna potpunost iskazne logike
Konjuktivna i disjunktivna normalna forma
Dualnost između konjukcije i disjunkcije
Potpunost iskazne logike
Prirodno-dedukcijska pravila za iskaznu logiku
Relacijsko-operacijske strukture
Jezik prvog reda
Valjane formule
Prirodno-dedukcijska pravila za kvantifikatore
Prirodno-dedukcijska pravila za jednakost

Blok II

Šta je to definicija?
Šta je to logička forma?
Šta je drvo formule?
Šta je istinitosna funkcionalnost?
Šta je matematička indukcija?
Šta je metajezik?
Šta je algebra?
Šta je sintaksa?
Šta je semantika?
Šta je valuacija?
Šta je tautologija?
Šta su Šeferovi veznici?
Šta su De Morganovi zakoni?
Šta je dedukcija?
Šta je hilbertovski sistem?
Šta je teorema?
Šta je model?
Šta je promenljiva?
Šta je supstitucija?
Šta je preneksna normalna forma?