Понятия высказывания, функции-высказывания, функции-указателя. Понятие квантора. Универсальный и экзистенциальный кванторы. Свободные и связанные переменные.

Высказывание - есть повествовательное предложение, истинное или ложное.

Функции высказывания - это предложения, содержащие переменные и превращающиеся в выражения при замене переменных постоянными.

Функция-указатель – это выражение, которое при замене переменных постоянными превращается в обозначение предмета (пример: х+2).

Квантор – это логическое выражение, с помощью которого функция-высказывания с переменными превращается в высказывание о множестве предметов, обозначающих этими переменными.

Универсальный квантор заменяется выражениями: для любого, для всех и т.д.

Экзистенциальный квантор заменяется выражениями: для некоторых, для некоторых, существует такое, что: _х,у х²+3у=z

z- Свободный квантор

x,y- связанные переменные.

Переменная, встречающаяся в функции высказывании, называется связанной, если она встречается в кванторе, который предписывается данной функции высказыванию. В противном случае переменная называется свободной.

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