Приклади розв’язання практичних завдань до підрозділів модуля логіки предикатів

.

Приклад 7. Нехай xR, а В(х) – предикат, у якому стверджується, що хмає властивість В. Записати наступні речення мовою логіки предикатів:

існує хоча б один xRтакий, що В(х);

не більше одного xRмають властивість В(х);

існує один і тільки один xRтакий, що В(х);

існує два різних xRтаких, що В(х);

е) не більше двох xR мають властивість В(х).

а) Речення має такий самий зміст, як і речення «Існує xR такий, що В(х)» і має запис .b) Речення має такий зміст: якщо довільні два елементиxR та yRмають властивість В, то вони рівні. Це має символічний запис: . с) Речення рівносильне кон’юнкції речень з пунктів а) та b).

d) Потрібно підкреслити, що існують елементиxR та yR, які мають одночасно властивість В і не рівні:.е) Речення має такий зміст: якщо довільні три елементи xR, yR, zRмають властивість В, то принаймні два з них рівні. Це має символічний запис:.

Рекомендуємо почитати:

Психокорекційна робота з молодшими школярами
Якщо в дитини проявляються відхилення в психічному розвитку (затримка психічного розвитку, синдром дитячої гіперактивності, неврози або психопатизація), необхідні спеціальні психокорекційні ...

Праці О. А. Захаренка
1) Захаренко О. А, Мазурик С. М. Становлення громадянина. К., 1976.2) Захаренко О. А, Мазурик С. М. Школа над Россю. К., 1979. 3) Захаренко О. А. З щоденника директора школи (Сахнівська сер ...

Необхідність вибіркового цілеспрямованого тренування за допомогою нестандартного обладнання
Тренування - систематично повторюваний вплив на функціональні системи організму, що сприяє виявленню духовних і фізичних здатностей людини й забезпечуючи широкий діапазон пристосування до в ...