A dolgozat témája az ítéletkalkulus és elsőrendű logika. A történeti bevezeteés és fogalmak megadása után az analitikus táblázat és Venn-diagram módszert, a Russel paradoxont és Neumann János utolsó munkáját: A számológép és az agy című esszét dolgozom fel.