Пример выполнения работы. 2. Доказать тождество AÇ(B \ C) = (AÇB)\(AÇC).
1. Даны множества; , , . Найти: a) ; b) ; Даны множества; , , . Найти: c) ; d) . Решение. a) = [1; 7) b) = [4; 7) = [4; 5] c) = Æ d) = {4} = {1; 2} = {1; 2; 4} 2. Доказать тождество AÇ (B \ C) = (AÇ B)\(AÇ C). Решение. a) I способ. Докажем два нестрогих включения. 1) Прямое включение AÇ (B \ C) Í (AÇ B)\(AÇ C). Þ Þ Þ Þ Þ 2) Обратное включение (A Ç B)\(AÇ C) Í AÇ (B \ C). Þ Þ Þ Þ , так как в 1-м случае имеем противоречие Þ Þ Þ Þ b) II способ. (AÇ B) \ (AÇ C) = = = = = = = AÇ (B \ C) 3. Доказать включение множеств (A1 Ç A2) D (B1 Ç B2) Í (A1 D B1) È (A2 D B2). Решение. Þ Þ Þ Þ Þ Þ Þ Þ 4. Доказать, что A Í B Ç C Û A Í B и A Í C. Решение. 1) Докажем прямое следование, т.е. AÍ BÇ C Þ AÍ B и AÍ C. Если справедливо включение , то Þ . 2) Докажем обратное следование AÍ B и AÍ C Þ AÍ BÇ C. Выполнение обоих включений условия означает, что .
|