тақырып. Предикаттар логикасы

Предикаттар логикасының атомарлы формулалары, еркін және байланысқан айнымалылар, кванторлар. предикаттар логикасының формулалары.

Предикаттар логикасындағы формулалардың тепе-теңдігі және негізгі тепе-тең түрлендірулер. Предикаттарды есептеу. Предикаттарды есептеудің формальді жүйесі. Предикаттарды есептеудің аксиомалар жүйесі. Шығару ережесі. Дәлелденетін формулалар және формулаларды жорамалдар жиынынан шығару. Таптаурынның жеке жағдайының дәлелденуі. Предикаттарды есептеудегі дедукция теоремасы. Теорияны аксиомалық түрде құру. Пеано арифметикасын аксиомалық түрде құру. Пеано арифметикасында заңдарды формальді құру мысалдары.