АкушерствоАнатомияАнестезиологияВакцинопрофилактикаВалеологияВетеринарияГигиенаЗаболеванияИммунологияКардиологияНеврологияНефрологияОнкологияОториноларингологияОфтальмологияПаразитологияПедиатрияПервая помощьПсихиатрияПульмонологияРеанимацияРевматологияСтоматологияТерапияТоксикологияТравматологияУрологияФармакологияФармацевтикаФизиотерапияФтизиатрияХирургияЭндокринологияЭпидемиология

Квантор существования

Прочитайте:
  1. Доказательства существования «холокоста»
  2. Документальные доказательства существования Холокоста
  3. Квантор всеобщности
  4. СУЩНОСТЬ СУЩЕСТВОВАНИЯ
  5. СУЩНОСТЬ СУЩЕСТВОВАНИЯ.
  6. Условия жизни и работы (постоянные компоненты существования)

 

Пусть P (x 1,..., xn) - некоторый предикат. Тогда применение квантора существования по переменной xi этого предиката к P (x 1,..., xn) записывается как $ xi P (x 1,..., xn). Эта запись представляет новый предикат B (x 1,.., xi- 1, xi+ 1, ... , xn), переменными которого являются все переменные P за исключением xi. Логическое значение предиката B для любого конкретного набора значений переменных этого предиката определяется по следующему правилу. Если существует такое значение переменной xi, для которого логическое значение P равно " t ", то B на наборе является истинным.

Если такого значения переменной x i не существует, то значение B на наборе является ложным.

 


Дата добавления: 2015-09-27 | Просмотры: 474 | Нарушение авторских прав







При использовании материала ссылка на сайт medlec.org обязательна! (0.002 сек.)