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


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


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


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


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


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


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


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


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


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



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

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

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

Теорема.

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

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

Доведення.

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

Доведення.

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

 




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

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

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

  

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


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