`A nn B subseteq C <=> A subseteq (bar(B)) uu C`
Хилая попытка решения:
`AA x in (A nn B) => ((x in A) ^^ (x in B)) subseteq C => ?` дальше вообще не знаю, с какой стороны подойти.
Не был он ровен ни в чем! Иногда он так скоро бывало ходит, как будто бежит от врага; иногда выступает важно, как будто несет он священную утварь Юноны! То вдруг двести рабов у него, то не больше десятка! То о царях говорит и тетрархах высокие речи; то вдруг скажет: «Довольно с меня, был бы стол, хоть треногий, соли простая солонка, от холода грубая тога!» Гораций, «Сатиры» «Мое представление о себе самом совершенно совпадает с представлением Горация о его Тигелии, и даже более того, я сказал бы, что Гораций в его лице прямо изображает меня» Джероламо Кардано. (отсюда) |
![]() |
Юрий Полунов, Рафаил Гутер. Джироламо Кардано |