Равносильные формулы логики предикатов Правила вывода Равносильные Логика первого порядка примеры