Либо аудитория была закрыта либо если преподаватель опоздал

Введём элементарные высказывания:
A — «аудитория была закрыта»,
B — «преподаватель опоздал»,
C — «все студенты ушли в столовую».
Тогда посылки и заключение запишутся следующими формулами:
A⨁B→C
¬A→¬B
C→B
¬A
Составим формулу A⨁B→C&¬A→¬B&C→B→¬A и построим её таблицу истинности
Поскольку построенная формула не является тавтологией, то логического следования нет и данное рассуждение не является правильным.