Формализация логических высказываний Афоризмы примеры и их значение