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

.

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

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

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

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

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

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

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

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

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

Організаційно-підготовчий етап проектно-технологічної діяльності виготовлення в’язаної шалі
В'язання - це творча робота, до того ж робота приємна і зовсім не утомлива. Давно відомо, що в'язання не лише відганяє похмурі думки, але і сприяє гарному настрою. Адже результат праці - кр ...

Розробка власного сценарію виховної години у формі гри-вікторини, спрямованої на формування патріотизму та національної свідомості учнів
Визначення стану сформованості громадянської самосвідомості у середньому по Україні показало, що більшість старшокласників знаходилися на низькому (відповідно - 58,1%) та середньому (відпов ...

Авторські пропозиції та їх результативність
Розвиток суспільства – процес безперервний. Це постійне оновлення і ускладнення всіх умов і сторін життя, і діяльності людини, нові проблеми міжнародного і внутрішнього життя суспільства, н ...