Математическая логика и теория алгоритмов (ит. работа) ИтХаб 3365

Замечания:
Задание 1
Задание «Отношения и функции»
Коммент:
При ответах на вопросы необходимо давать полные, развернутые ответы! Задание 1 г) выполнено не то, что требовалось. В диаграмме не хватает компонентов.
Задание 2
Коммент: В задании 4 1) упустили двойное отрицание. Желательно в решении использовать терминологию, используемую в нашем курсе (речь о названии законов)
Задание 3
Коммент: В №11 очень накручена формальная запись, например "Существует треугольник x такой, что для каждого квадрата y : x лежит выше y" , здесь нет связки "если - то", откуда тогда импликация в записи? И тогда надо пояснять, как построили отрицание. В представленном на портале материале, все гораздо прозаичней. №12 обоснование производим на основе изученных законов или с помощью построения диаграммы. (ред.)

4 и 5 не проверены

добрый день в каком виде сделать?