S05-2 Az ítéletlogika és elsőrendű logika

[dobreffandras]

Az ítéletlogika és elsőrendű logika leíró nyelve, szintaxis, szemantika. Formulák, formulahalmazok szemantikus tulajdonságai. Szemantikus következményfogalom és szemantikus eldöntésproblémák tetszőleges és véges feltételhalmazok esetén; automatikus tételbizonyítás szemantikus eszközei és ezek kivitelezhetetlensége – Gödel tétel. Levezethetőség fogalma, szintaktikus kalkulusuk áttekintése. Szemantikus eldöntésproblémához köthető szintaktikus kalkulusok áttekintése. A rezolúció és alkalmazásai, lehetőségek és korlátok, példák.