X-PDF

Кванторы. В математике большую роль играют утверждения о всеобщности данного свойства и о существовании хотя бы одного объекта

Поделиться статьей

В математике большую роль играют утверждения о всеобщности данного свойства и о существовании хотя бы одного объекта, обладающего данным свойством. Для записи этих утверждений вводятся так называемые кванторы: квантор всеобщности ∀ и квантор существования ∃. Допустим, что некоторое высказывание S содержит переменную (неопределенный объект) х, поэтому будем записывать его в виде S (x). Тогда высказывание

(∀ x) S (x)

означает, что для всех х имеет место S (x), а высказывание

(∃ x) S (x)

состоит в утверждении, что существует хотя бы один объект х такой, что для него верно высказывание S (x).

Переменная, входящая в высказывание под знаком квантора, называется связанной переменной, ибо высказывание от этой переменной не зависит, подобно тому как сумма

i = n mSi

не зависит от индекса i. Связанную переменную можно заменить любой другой буквой, не совпадаюшей с остальными переменными, и от этого смысл высказывания не изменится. Переменная, которая не является связанной, называется свободной. Высказывание зависит только от свободных переменных, которые оно содержит.

Представленная информация была полезной?
ДА
58.67%
НЕТ
41.33%
Проголосовало: 963

Примеры высказываний с кванторами:

  • (∀ х)(∀ у)(«брат»(х, у) ∧ «мужчина»(у)) ⊃ «брат»(у, x).
    Для всякого х и всякого у, если х — брат у и у — мужчина, то у — брат x.
  • Если через D (x, y) обозначить высказывание «x является делителем у», то одно из соотношений, приведенных выше в качестве примера высказываний, изобразится в виде
    (∀ n)(&gt .(n, «1») ⊃ (∃ p) D (p, n)).
  • (∃ x) W (x) ⊃ (∀ x) W (x).
    Это соотношение верно для любого высказывания W (x) и показывает, что имеет место связь между кванторами существования и всеобщности. Из существования объекта х, для которого верно W (x), следует, что неверно утверждение, будто для всех х W (x) неверно.

Квантор — это тоже в сущности логическая связка. Приписывание квантора превращает высказывание в новое высказывание, которое содержит на одну свободную переменную меньше. Отличие от связок, которое мы рассматривали выше, состоит в том, что, кроме высказывания, надо указать еще свободную переменную, которую надо связать. Связывание переменной подразумевает подстановку вместо нее конкретных объектов. Если число объектов, которые могут быть подставлены вместо переменной, конечно, то кванторы можно рассматривать просто как удобные сокращения, ибо они могут быть выражены через логические связки — конъюнкцию и дизъюнкцию. Пусть переменная х может принимать n значений, которые мы обозначим буквами х 1, х 2,…, xn. Тогда имеют место следующие эквивалентности:

(∀ x) W (x) ≡ W (x 1) ∧ W (x 2) ∧… ∧ W (xn),

(∃ x) W (x) ≡ W (x 1) ∨ W (x 2) ∨… ∨ W (xn).


Поделиться статьей
Автор статьи
Анастасия
Анастасия
Задать вопрос
Эксперт
Представленная информация была полезной?
ДА
58.67%
НЕТ
41.33%
Проголосовало: 963

или напишите нам прямо сейчас:

Написать в WhatsApp Написать в Telegram

ОБРАЗЦЫ ВОПРОСОВ ДЛЯ ТУРНИРА ЧГК

Поделиться статьей

Поделиться статьей(Выдержка из Чемпионата Днепропетровской области по «Что? Где? Когда?» среди юношей (09.11.2008) Редакторы: Оксана Балазанова, Александр Чижов) [Указания ведущим:


Поделиться статьей

ЛИТЕЙНЫЕ ДЕФЕКТЫ

Поделиться статьей

Поделиться статьейЛитейные дефекты — понятие относительное. Строго говоря, де­фект отливки следует рассматривать лишь как отступление от заданных требований. Например, одни


Поделиться статьей

Введение. Псковская Судная грамота – крупнейший памятник феодального права эпохи феодальной раздробленности на Руси

Поделиться статьей

Поделиться статьей1. Псковская Судная грамота – крупнейший памятник феодального права эпохи феодальной раздробленности на Руси. Специфика периода феодальной раздробленности –


Поделиться статьей

Нравственные проблемы современной биологии

Поделиться статьей

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


Поделиться статьей

Семейство Первоцветные — Primulaceae

Поделиться статьей

Поделиться статьейВключает 30 родов, около 1000 видов. Распространение: горные и умеренные области Северного полушария . многие виды произрастают в горах


Поделиться статьей

Вопрос 1. Понятие цены, функции и виды. Порядок ценообразования

Поделиться статьей

Поделиться статьейЦенообразование является важнейшим рычагом экономического управления. Цена как экономическая категория отражает общественно необходимые затраты на производство и реализацию туристского


Поделиться статьей

или напишите нам прямо сейчас:

Написать в WhatsApp Написать в Telegram
Заявка
на расчет