Дружно скажем спасибо товарищу Сергею за предоставленные теоремы. Соотносится с архивом из предыдущего сообщения:
2.jpg для папки "2 - Логика Высказываний"
3.jpg для "3 - Алгебра логики"
там нумерация файлов, где искать доказательства
http://msiu-prog.ucoz.ru/materials/theorems.rar