Получите вывод в дилемме "Если я буду сдавать контрольные работы в срок

Условная посылка 1:
Если я буду сдавать контрольные работы в срок (р), то мне будет проще жить в сессию (q).
Условная посылка 2:
Если я не буду сдавать контрольные работы в срок (р), то мне не будет проще жить в сессию (q).
Разделительная посылка:
Я или буду сдавать контрольные работы в срок (р), или не буду (р).
Заключение:
Следовательно, мне будет или проще жить в сессию (q), или мне не будет проще жить в сессию (q).
Формула:
((р→ q) (р → q) (р р)) → (q q).
Дилемма формально правильная