Выяснить, является ли правильным логическое рассуждение: Если я пойду завтра на первое занятие, то должен

Выяснить, является ли правильным логическое рассуждение: Если я пойду завтра на первое занятие, то должен буду рано встать, а если я пойду вечером на дискотеку, то лягу спать поздно. Если я лягу спать поздно и встану рано, то буду вынужден довольствоваться пятью часами сна. Следует ли отсюда, что я должен или пропустить завтра занятие, или не ходить вечером на дискотеку?

Пусть
= «пойду на первое занятие»,
= «встану рано»
= «пойду вечером на дискотеку»
= «лягу спать поздно»
= «буду довольствоваться пятью часами сна»
= «не пойду на первое занятие»
= «не пойду вечером на дискотеку»
Выделим простые высказывания:
- «если я пойду завтра на первое занятие, то должен буду рано встать»
- «если я пойду вечером на дискотеку, то лягу спать поздно»
- «если я лягу спать поздно и встану рано, то буду вынужден довольствоваться пятью часами сна»
- «я должен или пропустить завтра занятие, или не ходить вечером на дискотеку»
Проверим логическое следование:
Составим таблицу истинности:

































Выделим в таблице те наборы, на которых все гипотезы истинны, то есть принимают значение, равное 1.
Смотрим, какое значение принимает на выделенных наборах.
Так как на всех наборах, кроме (1;1;1) истинно, то есть принимает значение, равное, 1, а на наборе (1;1;1) ложно и принимает значение, равное 0, то логического следования нет, а значит, логическое рассуждение не является правильным.