• Гідрологія і Гідрометрія
• Господарське право
• Економіка будівництва
• Економіка природокористування
• Економічна теорія
• Земельне право
• Історія України
• Кримінально виконавче право
• Медична радіологія
• Методи аналізу
• Міжнародне приватне право
• Міжнародний маркетинг
• Основи екології
• Предмет Політологія
• Соціальне страхування
• Технічні засоби організації дорожнього руху
• Товарознавство продовольчих товарів

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

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

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

.

Одержали .

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

.Одержали .

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

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

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