Полезное:
Как сделать разговор полезным и приятным
Как сделать объемную звезду своими руками
Как сделать то, что делать не хочется?
Как сделать погремушку
Как сделать так чтобы женщины сами знакомились с вами
Как сделать идею коммерческой
Как сделать хорошую растяжку ног?
Как сделать наш разум здоровым?
Как сделать, чтобы люди обманывали меньше
Вопрос 4. Как сделать так, чтобы вас уважали и ценили?
Как сделать лучше себе и другим людям
Как сделать свидание интересным?
Категории:
АрхитектураАстрономияБиологияГеографияГеологияИнформатикаИскусствоИсторияКулинарияКультураМаркетингМатематикаМедицинаМенеджментОхрана трудаПравоПроизводствоПсихологияРелигияСоциологияСпортТехникаФизикаФилософияХимияЭкологияЭкономикаЭлектроника
Связывание переменных предикатов кванторами
|
|
При образовании высказывания из предиката посредством квантора говорят, что переменное предиката связывается квантором. Аналогично связываются переменные в предикатах, содержащих несколько переменных. В общем случае используют формы высказываний вида
где вместо каждой буквы 
с индексом может быть подставлен любой из кванторов 
или 
.
Например, высказывание 
читается так: "для всякого 
существует 
, такой, что истинно 
". Если множества, которые пробегают переменные предикатов, фиксированы (подразумеваются "по умолчанию"), то кванторы записываются в сокращенной форме: 
или 
.
Заметим, что многие математические теоремы можно записать в форме, подобной только что приведенным высказываниям с кванторами, например: "для всех 
и для всех 
истинно: если — функция, дифференцируемая в точке , то функция непрерывна в точке ".
Date: 2015-11-15; view: 537; Нарушение авторских прав