Отправить по sms: Формальный вывод и логичечкие исчиления