Насчет поздравления Эли.
Первая строчка непонятна, т.к. не определены большинство символов.
Вторая: если Х принадлежит множеству U близких Эле людей, значит Х входит в Элю
Третья: Я (поздравитель) принадлежит множеству близких Эле людей.
Далее подразумевается, что поздравитель входит в Элю согласно п. 2.
Но сразу возникает вопрос о размерности множества U, т.к. нигде не указано, что оно состоит из одного члена, соответственно в Элю может входить неопределенное количество членов, более одного, ибо любой близкий Эле человек автоматически получает право входить в нее.
Четвертая строчка, по моему мнению, не имеет логического смысла и не утверждает однозначно, что Я является единственным, входящим в Элю.
Буду думать дальше.
Это сообщение отредактировал ww07 - 11.11.2016 - 02:31