АвтоАвтоматизацияАрхитектураАстрономияАудитБиологияБухгалтерияВоенное делоГенетикаГеографияГеологияГосударствоДомДругоеЖурналистика и СМИИзобретательствоИностранные языкиИнформатикаИскусствоИсторияКомпьютерыКулинарияКультураЛексикологияЛитератураЛогикаМаркетингМатематикаМашиностроениеМедицинаМенеджментМеталлы и СваркаМеханикаМузыкаНаселениеОбразованиеОхрана безопасности жизниОхрана ТрудаПедагогикаПолитикаПравоПриборостроениеПрограммированиеПроизводствоПромышленностьПсихологияРадиоРегилияСвязьСоциологияСпортСтандартизацияСтроительствоТехнологииТорговляТуризмФизикаФизиологияФилософияФинансыХимияХозяйствоЦеннообразованиеЧерчениеЭкологияЭконометрикаЭкономикаЭлектроникаЮриспунденкция

Пример 1. Формула ( х)А(х) А(у), где переменная у не входит в формулу А(х) – общезначима

Читайте также:
  1. X. примерный перечень вопросов к итоговой аттестации
  2. Буду на работе с драконом примерно до 21:00.
  3. Булевы функции. Способы задания. Примеры.
  4. В некоторых странах, например в США, президента заменяет вице-
  5. В примере
  6. В странах Востока (на примере Индии и Китая)
  7. Вания. Одной из таких областей является, например, регулирова-
  8. Вашим сообщениям, например, спеть «С днем рождения»
  9. Виды знания. Контрпример стандартному пониманию знания
  10. Власть примера. Влияние с помощью харизмы
  11. Внешний долг (внешняя задолженность): пример России
  12. Вопрос 11. Герои романтических поэм М. Ю. Лермонтова (на примере одного произведения).

Формула ( х)А(х) А(у), где переменная у не входит в формулу А(х) – общезначима.

Пусть х, xi1,…,xin – все свободные переменные формулы А(х). тогда у, xi1,…,xin – перечень свободных переменных формулы.

Пусть <b, a1, …, an>, где b, аi М(1 i n)- произвольный набор значений свободных переменных формулы. Докажем, что ( х)А(х) А(у)|<b, a1,…, an> = И.

Для формулы А(х) либо существует элемент а0­ М такой, что на наборе <а0, a1, …, an> значений св. переменных х, xi1,…,xin А(х)|<a0, a1,…, an> = Л, либо для любого элемента а М на том же наборе переменных и значений А(х)|<a0, a1,…, an> = И.

В 1 случае ( х)А(х)|<a0, a1,…, an> = Л и тогда ( х)А(х) А(у)|<b, a1,…, an> = И.

Во 2 случае ( х)А(х)|<a0, a1,…, an> = И и тогда ( х)А(х) А(у)|<b, a1,…, an> = И.


1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 |

Поиск по сайту:

Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Студалл.Орг (0.002 сек.)