Формализованное исчисление высказываний Выводы из гипотез часть 1