Читайте также:
|
В области действия квантора связанную с ними переменную можно заменить произвольной переменной, не совпадающей с какой-либо другой переменной, входящей в область действия этих кванторов.
Например:
.
Однако, формулы 
и 
не равносильны.
Переименование связанных переменных формулы, при котором каждый квантор имеет собственную переменную, отличную от других, называется стандартизацией переменных.
Дата добавления: 2015-07-11; просмотров: 179 | Нарушение авторских прав