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


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


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


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


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


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


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


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


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


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



Контакти
 


Тлумачний словник
Авто
Автоматизація
Архітектура
Астрономія
Аудит
Біологія
Будівництво
Бухгалтерія
Винахідництво
Виробництво
Військова справа
Генетика
Географія
Геологія
Господарство
Держава
Дім
Екологія
Економетрика
Економіка
Електроніка
Журналістика та ЗМІ
Зв'язок
Іноземні мови
Інформатика
Історія
Комп'ютери
Креслення
Кулінарія
Культура
Лексикологія
Література
Логіка
Маркетинг
Математика
Машинобудування
Медицина
Менеджмент
Метали і Зварювання
Механіка
Мистецтво
Музика
Населення
Освіта
Охорона безпеки життя
Охорона Праці
Педагогіка
Політика
Право
Програмування
Промисловість
Психологія
Радіо
Регилия
Соціологія
Спорт
Стандартизація
Технології
Торгівля
Туризм
Фізика
Фізіологія
Філософія
Фінанси
Хімія
Юриспунденкция






Діаграма № 2.7. Множина істинності еквіваленції предикатів.

Таблиця № 2.10. Таблиця істинності еквіваленції висловлень.

Операція еквіваленції предикатів.

7.2. Для того, щоб визначити операцію еквіваленції предикатів, розглянемо на множині абітурієнтів два предикати: А(х): „х – склав всі екзамени” і В(х): „х – набрав прохідний бал”. Як можна назвати предикат „для того, щоб х – склав всі екзамени, необхідно і достатньо, щоб він набрав прохідний бал” – еквіваленцією заданих предикатів. Отже, приймемо таке означення.

 

а в a↔b

Означення: еквіваленцією двох предикатів А(х) і В(х), заданих на одній і тій самій множині Х, називається такий новий предикат А(х)↔В(х), який визначений на тій самій множині Х і який істинний при всіх тих хÎХ, при яких значення істинності предикатів А(х) і В(х) співпадають.

Оскільки при оперуванні із складенимипредикатами доводиться знаходити їх множини істинності, то знайдемо множину істинності предиката А(х)↔В(х). Позначимо область визначення предикатів через Х, множину істинності предиката А(х) через ТА, а множину істинності предиката В(х) – через ТВ. Щоб знайти множину істинності предиката А(х)↔В(х), тобто ТАВ, можна використати міркування або діаграми Ейлера-Венна. Зазначимо, що міркуваннями множину істинності ТАВ можна знайти, використавши рівність А(х)↔В(х)=((Ā(х)ÚВ(х))Ù(В(х)ÚА(х))). Отже, маємо: ТАВ=(ТАÈТВ)Ç(ТВÈТА).Оскільки відомо, що предикат А(х)↔В(х) буде істинним для тих значень хєХ, для яких предикати А(х) і В(х) одночасно істинні або хибні, тобто на множинах ТАÇТВ і Т`АÇТ`в. Отже, множиною істинності предиката А(х)↔В(х) – є об'єднання цих множин, тобто ТАВ=АÇТВ)È(Т`АÇТ`в) (див. діаграму № 2.7.).

 


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

  1. Pv– діаграма водяної пари
  2. Визначення границі витривалості. Діаграма утоми
  3. Відмінок Однина Множина
  4. Властивості операцій над множинами.
  5. Диз'юнкція двох предикатів.
  6. Діаграма Еджворта
  7. Діаграма Ейлера-Венна
  8. Діаграма ізотермічного перетворення аустеніту
  9. Діаграма розсіювання регресійної функції
  10. Діаграма розтягання. Механічні характеристики матеріалу
  11. Діаграма розтягання. Механічні характеристики матеріалу
  12. Діаграма стану залізо - вуглець




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

<== попередня сторінка | наступна сторінка ==>
Операція еквіваленції висловлень. | МОДУЛЬ 2: «Висловлення. Предикати. Теореми.».

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

 

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


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