В архиве вордовский файл какой-то методы. В ней на стр.17 разобрана задача 4, аналогичная тому, что надо сделать
Там же изображение 2500*5000px, представляющее аппликацию из сканов исчисления предикатов и высказываний, выстроенных в параллели друг напротив друга с небольшими графическими комментами
Там же просто исходные фотки решённого исчисления предикатов