Теория логического вывода Соломонова