МЕТОД ФОРМАЛЬНЫХ ДОКАЗАТЕЛЬСТВ pictures Приведите пример формального языка