Условие задачи
«Либо аудитория была закрыта, либо если преподаватель опоздал, то все студенты ушли в столовую. Если аудитория не была закрыта, то преподаватель не опоздал. Если все студенты ушли в столовую, то преподаватель опоздал. Следовательно, аудитория не была закрыта». Является ли рассуждение правильным?
Ответ
Введём элементарные высказывания:
A аудитория была закрыта,
B преподаватель опоздал,
C все студенты ушли в столовую.
Тогда посылки и заключение запишутся следующими формулами:
Потяни
