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


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






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

 

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

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

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

Доведення:

.

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

Доведення:j

.

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


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

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




<== попередня сторінка | наступна сторінка ==>
Пригадуємо форму умовиводу | Зв'язок між кон'юнкцією та перетином

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


 

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


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