Студопедия
Новини освіти і науки:
МАРК РЕГНЕРУС ДОСЛІДЖЕННЯ: Наскільки відрізняються діти, які виросли в одностатевих союзах


РЕЗОЛЮЦІЯ: Громадського обговорення навчальної програми статевого виховання


ЧОМУ ФОНД ОЛЕНИ ПІНЧУК І МОЗ УКРАЇНИ ПРОПАГУЮТЬ "СЕКСУАЛЬНІ УРОКИ"


ЕКЗИСТЕНЦІЙНО-ПСИХОЛОГІЧНІ ОСНОВИ ПОРУШЕННЯ СТАТЕВОЇ ІДЕНТИЧНОСТІ ПІДЛІТКІВ


Батьківський, громадянський рух в Україні закликає МОН зупинити тотальну сексуалізацію дітей і підлітків


Відкрите звернення Міністру освіти й науки України - Гриневич Лілії Михайлівні


Представництво українського жіноцтва в ООН: низький рівень культури спілкування в соціальних мережах


Гендерна антидискримінаційна експертиза може зробити нас моральними рабами


ЛІВИЙ МАРКСИЗМ У НОВИХ ПІДРУЧНИКАХ ДЛЯ ШКОЛЯРІВ


ВІДКРИТА ЗАЯВА на підтримку позиції Ганни Турчинової та права кожної людини на свободу думки, світогляду та вираження поглядів



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

 

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

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

.

Одержали .

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

.Одержали .

 


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

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




Переглядів: 903

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

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

  

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


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