Брошюра посвящена проблемам моделирования, интеллектуальной деятельности человека, связанной с логической переработкой языковой информации. Дана формальная модель понятия обратной теоремы. Брошюра рассчитана на широкий круг читателей, интересующихся проблемами искусственного интеллекта.