A dolgozatban az ítéletlogikát illetve az elsőrendű logikát mutatom be a szekventkalkulus irányába. A főbb témák így a következtetések, következtetésformák bizonyítása, illetve ezeknek a bevezetése. A dolgozatból kiderül, hogy minden formulát fel lehet írni bizonyos nekünk megfelelő alakban, valamint hogy ezek az alakok mennyire egyszerűen jellemezhetőek.