Доказательство как логическая операция Алгебра логики 8 класс примеры