доброе время суток
я не знаю правильно или нет, по рассуждать ведь не возбраняется
"существет более одного", то есть хотя бы два и более
может быть навесить предикаты на n переменных, то есть x1, x2, .. xn
хотя прочтение: "существует n переменных, где n>1" и "существует более одного" не знаю равносильны в логике или нет
кстати, а почему нет отдельного раздела "Логика"?
я бы сейчас тоже не отказалась от помощи по логике (приходится шерстить интернет, старые лекции и догадываться самой)