Контрольная по математической логике

Исправить работу по замечаниям

Работу не приняли с замечаниями следующими:

задание 5: обратное отношение (пункт а) не записали формулой через переменные x,y. 

задание 6: нет обоснования выполнения или не выполнения свойств. 

задание 7: для n=k+1 почему 6*3^k умножено еще на 25 и стоит со знаком минус? И опять-таки рассуждения в последнем абзаце не обоснованы. 

задание 8: Нет решения, которое бы обосновывало полученный ответ.