Формальные теории и исчисления. Модуль 3
Содержание Алфавит исчисления предикатов Формулы исчисления предикатов Аксиомы исчисления предикатов Правила вывода исчисления предикатов Свойства исчисления предикатов Алфавит связки основные вспомогательные служебные символы ( , ) кванторы всеобщности существования предметные константы a, b,…a1, b1, переменные x,y,….x1,y1 предметные предикаты P, Q, R, …. функторы f, g, h,…. .