Логика высказываний и предикатов»
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)
