Пусть есть высказывание а есть: «множество а есть подмножество множества в », высказывание в есть: «все элементы множества а являются элементами множества в». тогда результатом какай операции над высказываниями а и в будет высказывание «множество а есть подмножество множества в тогда и только тогда, когда все элементы множества а являются элементами множества в» ?
