Логика высказываний и предикатов»
1. проверить эквивалентность следующих формулы:
p∧(q↔r)≡ p∧q↔p∧r
2: выяснить, является ли правильным логическое рассуждение:
если я пойду завтра на первое занятие, то должен буду рано встать, а если я пойду вечером на дискотеку, то лягу спать поздно. если я лягу спать поздно и встану рано, то буду вынужден довольствоваться пятью часами сна. следует ли отсюда, что я должен или пропустить завтра занятие, или не ходить вечером на дискотеку?
3.дано множество m= {a,b} предикат p(x,y),где x,y∈m задан следующей таблицей (прикреплена)
определить значение истинности следующего высказывания:
ǝyp(a,y)
4: на множестве м заданы предикаты a(x), b(x) и с(x) (см. рис.1), области истинности которых обозначены теми же буквами, что и предикаты: (прикреплена)
заштриховать и выразить формулой область истинности предиката:
a(x)∧неb(x)∧c(x)
199
228
Ответы на вопрос:
Реши свою проблему, спроси otvet5GPT
-
Быстро
Мгновенный ответ на твой вопрос -
Точно
Бот обладает знаниями во всех сферах -
Бесплатно
Задай вопрос и получи ответ бесплатно
Популярно: Математика
-
Nastya486923.08.2021 18:11
-
nikcentennial25.01.2021 15:33
-
Stoianova198808.11.2021 03:53
-
toster133604.06.2022 21:36
-
Владимир32820.01.2021 08:46
-
vladakolyrova18.09.2021 05:21
-
Пазновайка06.11.2020 07:45
-
мия6818.05.2021 10:14
-
adel2006buko18.02.2020 07:28
-
свайпер13.04.2023 05:10
Есть вопросы?
-
Как otvet5GPT работает?
otvet5GPT использует большую языковую модель вместе с базой данных GPT для обеспечения высококачественных образовательных результатов. otvet5GPT действует как доступный академический ресурс вне класса. -
Сколько это стоит?
Проект находиться на стадии тестирования и все услуги бесплатны. -
Могу ли я использовать otvet5GPT в школе?
Конечно! Нейросеть может помочь вам делать конспекты лекций, придумывать идеи в классе и многое другое! -
В чем отличия от ChatGPT?
otvet5GPT черпает академические источники из собственной базы данных и предназначен специально для студентов. otvet5GPT также адаптируется к вашему стилю письма, предоставляя ряд образовательных инструментов, предназначенных для улучшения обучения.