Логика предикатов Логика предикатов n Логика предикатов Логика первого порядка примеры