Условие задачи
Выяснить, является ли правильным логическое рассуждение:
Если я пойду завтра на первое занятие, то должен буду рано встать, а если я пойду вечером на дискотеку, то лягу спать поздно. Если я лягу спать поздно и встану рано, то буду вынужден довольствоваться пятью часами сна. Следует ли отсюда, что я должен или пропустить завтра занятие, или не ходить вечером на дискотеку?
Ответ
Пусть
x = пойду на первое занятие,
y = встану рано,
z = пойду вечером на дискотеку,
t = лягу спать поздно,
s = буду довольствоваться пятью часами сна,
x ̄= не пойду на первое занятие,
z ̄= не пойду вечером на дискотеку.
Выделим простые высказывания:
p1 = (x y) - если я пойду завтра на первое занятие, то должен буду рано встать
p2 = (z t) - если я пойду вечером на дискотеку, то лягу спать по...