##Репозиторий с домашними заданиями по математической логике.

• Домашние задание №1 -- Проверка доказательства.
• Домашние задание №2 -- Проверка доказательства в формальной арифметике. Применение теоремы о дедукции.
• Домашние задание №3 -- Доказательство a ≤ b или ⌉(a ≤ b).