Понятие предикатов и кванторов, порядок составления логических формул. Запись предиката как множество высказываний, формулы их исчисления. Аксиоматическое и натуральное представление узкого исчисления предикатов, погружение аристотелевской силлогистики.
Аннотация к работе
ПЛАН Предикаты и кванторы. ПРЕДИКАТЫ И КВАНТОРЫ Исчисление высказываний образует основную часть математической логики. Если обозначить ту часть высказываний, в которой говорится о свойствах или отношениях большими латинскими буквами Р, Q, R, … с индексами или без них, а переменные - традиционно малыми латинскими буквами х, y, z ,… с индексами или без них, то обозначение предиката примет вид Р (х), Q(х,у), L(х,y,z) и т.д.