Figula, ÁgotaBodnár, Máté2025-07-012025-07-012025https://hdl.handle.net/2437/395267A 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.24hulogikaMatematikaHozzáférhető a 2022 decemberi felsőoktatási törvénymódosítás értelmében.