Логика предикатов Логика предикатов n Логика предикатов Предваренная нормальная форма пример