Студопедия
Новини освіти і науки:
Контакти
 


Тлумачний словник






Теорема про одноіменні квантори

 

Теорема. Одноімені квантори можна переставляти.

Спочатку розглянемо випадок з квантором загальності. Нехай , .Доведемо, що .Замінимо предикат конкретним предикатом де ,. Використовуємо інтерпретацію для формул та . . .

.

Одержали .

Тепер розглянемо випадок для квантора існування. Нехай , .Доведемо, що .Замінимо предикат конкретним предикатом де ,. Використовуємо інтерпретацію для формул та . . .

.Одержали .

 


Читайте також:

  1. В. Друга теорема про розклад.
  2. Друга теорема Вейєрштрасса
  3. Інтегральна теорема Лапласа
  4. Локальна теорема Лапласа
  5. Магнітний потік. Теорема Гауса для магнітного поля
  6. Момент інерції. Теорема Гюйгенса-Штейнера
  7. Напряженность поля. Теорема Гаусса
  8. Незалежні події. Теорема множення для незалежних подій
  9. Опукле програмування. Необхідні та достатні умови існування сідлової точки. Теорема Куна-Такера.
  10. Основна теорема арифметики цілих невід’ємних чисел.
  11. Потік вектора напруженості та індукції електричного поля. Теорема Остроградського-Гауса
  12. Приведення сили до точки (теорема Пуансо)




<== попередня сторінка | наступна сторінка ==>
Зв'язок між запереченням і доповненням | Теорема про різноіменні квантори

Не знайшли потрібну інформацію? Скористайтесь пошуком google:


 

© studopedia.com.ua При використанні або копіюванні матеріалів пряме посилання на сайт обов'язкове.


Генерація сторінки за: 0.002 сек.