Верно ли следующее утверждение?Выводы, получаемые на основе исчисления предикатов интерпретировать не трудно.