Знаки общности и существования

С предложениями, зависящими от переменных, связаны два вида часто встречающихся утверждения:

1) Предложение Р(х), хÎU обращается в истинное высказывание хотя бы для одного элемента множества U. Тогда пишут кратко: ( х) Р(х) – существует точное значение хÎU, что Р(х) истинно.

- знак существования (перевернутая буква английского слова Exists – существует)

2) Предложение Р(х), хÎU обращается в истинное для всех элементов множества U.

Тогда пишут кратно: (Р(х) истинно для всех хÎU).

Не нашли, что искали? Воспользуйтесь поиском: