Мат.Логика Нужно составить логическое выражение , и при метода резолюции проверить правильное оно или нет.
Если кто-угодно может решить задачу , значит любой математик может решить задачу . Олег - математик , не может решить задачу так что задачу не сможет решить никто