Vizsgakövetelmények logikából 
A Logika kollokviumon (FLN-105, FL-215) megkövetelt ismeretek:
A. A klasszikus elsőrendű logika nyelve
B Az elsőrendű logika szemantikája, metaelméletének legfontosabb tételei
C. Elsőrendű elméletek tulajdonságai
D. Néhány kiterjesztés
Elvárjuk a definíciók és tételek pontos kimondását, négyes vagy ötös osztályzathoz a bizonyítások stratégiájának, alapgondolatának ismertetését. Teljes bizonyítások reprodukálása nem követelmény.
A felkészüléshez minden szükséges megtalálható a következő tankönyvben:
Ruzsa Imre: Bevezetés a modern logikába (Osiris, számos kiadás), I. rész: Extenzionális logika
Más modern logikai bevezető monográfia is használható.
A vizsga témakörei tételes felsorolásban:
1. A logika kategóriarendszere: individuumnevek, mondatok, funktortípusok. 
2. Szemantikai értékek; extenzionalitás és intenziona1itás. 
3. Negáció, konjunkció, altemáció (definíciók és egyszerűbb törvények). 
4. Kondicionális, bikondicionális, diszjunkció (definíciók és egyszerűbb törvények). 
5. Extenzionális predikátumok és szemantikai értékeik. 
6. Exisztenciális és univerzális kvantifikáció (igazságfeltételek, összefüggések) 
7. Analitikus táblázatok az elsőrendű logikában 
8. Az azonosság (szemantikája, törvényei, az azonosság alkalmazásai) 
9. Az elsőrendű logika szemantikája (interpretáció, modell, kielégíthetőség, következmény, stb.).
10. Kielégíthetőség vizsgálata analitikus táblázattal; kompaktsági tétel. 
11. Befejezett ág esetén a kiinduló formulahalmaz kielégíthető; Löwenheim-Skolem-tétel. 
12. Az elsőrendű logika szintaktikai felépítése. 
13. Dedukciótétel az elsőrendű kalkulusban.  
14. Teljességi tétel (az elsőrendű logikában).
15. EIsőrendű elméletek. Peano-aritmetika és nemteljességi tétel. 
16.A másodrendű logika szintaxisa és szemantikája; az "őse" reláció. 
17. Deskripció és értékrés. (1.8)