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

Правила Де Моргана

Для перетворення формул в логіці предикатів часто використовують правила Де Моргана. , .

Доведемо першу формулу. Нехай , . Виконаємо

інтерпретацію. , , де та конкретні предикати на довільній множині .

Доведення:

.

Доведемо другу формулу. Нехай , . Виконаємо інтерпретацію. , , де та конкретні предикати на довільній множині .

Доведення:j

.

В обох випадках при довільній інтерпретації на любій множині формули та приймають однакові значення істинності. Тому вони рівносильні.

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

1. V. Етичні правила психологічних досліджень
2. А ви слідуєте цім правилам, коли виступаєте публічно?
3. Види графіків та правила їх побудови.
4. Визначення, класифікація і правила побудови індексів
5. Вимоги до керівника, правила та принцинципи управління
6. Відомості про правила охорони і техніки безпеки на підземних гірничих роботах.
7. Встановлення відношень між судженнями за правилами логічного квадрата.
8. Групова дискусія та правила її проведення
9. Дедуктивний умовивід та його правила
10. Довідки - їхні види та правила оформлення
11. ДОКУМЕНТАЦІЯ. ЗВІТИ У СФЕРІ НАУКИ І ТЕХНІКИ. Структура і правила оформлення
12. Етикетні правила поведінки в мовленні

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