Обычно именно с этой темы я начинаю первое занятие по геометрии. Удивительно, что раньше без этого можно было обойтись, но в последнее время возникла потребность вносить ясность в этот вопрос. Если говорить коротко, то теорема это верное логическое следование (импликация)...

И, кстати, рутина - это теперь термин, обозначающий повторяющиеся задачи по расписанию агента. В этом ключевое предназначение агентов. И с одной стороны мы можем им передать то, что вгоняет в тоску. А с другой стороны, высвободится внимание для тревоги...