Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия, Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки
Последний раз редактировалось NNDeaz 27.01.2019, 12:00, всего редактировалось 1 раз.
Если -- конечное множество, то . С точки зрения мат. логики корректно ли обобщение этого определения, когда счетное, или более того, несчетное множество? Как можно правильно это определить? Например ,
Это рассматривается просто как альтернативное обозначение квантора всеобщности. И есть аналогичное альтернативное обозначение квантора существования. Мне попадалась литература, в которой кванторы обозначались именно так. И ни в коем случае не следует воспринимать это как "бесконечные формулы".