Студопедия
Контакти
 


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

Реклама: Настойка восковой моли




Зв'язок між кон'юнкцією та перетином

Нехай деякий предикат визначений на множині , при цьому

, Ø, , . Множину , яка є множиною істинності предиката , називають характеристичною множиною цього предиката і позначають . Розглянемо зв'язок між логічними операціями з одномісними предикатами , , та операціями теорії множин між відповідними характеристичними множинами цих предикатів.

Теорема.

Для того, щоб = необхідно і досить щоб =

Необхідність. = =

Доведення.

Достатність. = =

Доведення.

Висновок. Операції кон’юнкція між одномісними предикатами відповідає операція перетин між відповідними характеристичними множинами цих предикатів.

 

Загрузка...



<== попередня сторінка | наступна сторінка ==>
Правила Де Моргана | 

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


 

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


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