Добро пожаловать во вторую часть коллоквиума по теме "Логика предикатов".
В этой части Вам предлагается доказать утверждение теоретического характера.
Правила выполнения задания:
- Проверьте, что чистые листочки, ручка, чай, кофе, шоколадки всё ещё с Вами.
- Убедитесь, что телефон, планшет или другое устройство, с помощью которого можно "сфотографировать" работу, всё ещё заряжено и находится под рукой.
- Вам будет предложено одно утверждение. Необходимо на листе зафиксировать свою фамилию и написать требуемое доказательство.
- Все переходы в доказательстве должны быть строго обоснованными.
- Не скупитесь на комментарии, но в то же время старайтесь обходиться символами там, где это возможно и разумно.
- На выполнение задания отводится 25 минут.
- Вам будет предложено загрузить файл. Сфотографируйте ответ и загрузите. Убедитесь, что имя файла не содержит пробелов.
Несколько аналогичных советов.
Будьте внимательны при ответе, не торопитесь - 20 минут вполне достаточно, чтобы сформулировать доказательство (если Вы, конечно, понимаете, о чём само утверждение). Ещё 5 на проверку написанного и загрузку фото. Задание можно выполнить только один раз!
Рекомендую запускать тест на телефоне или планшете, через который будете фотографировать - на мой взгляд, это позволит сэкономить немного времени. Также можно не тратить время на обрезку и удобный ракурс. Главное - чтобы всё читалось.