2021-04-29から1日間の記事一覧
現代数学概説Ⅰ 1章 $1 例題4 以下a)b)c)を示せ。 a) M ∪ (M ∩ N)=M, M ∩ (M ∪ N) = M. b) M ⊆ N <-> M = M ∩ N <-> N = M ∪ N. c) M ⊆ M' <-> M ∪ N ⊆ M' ∪ N, M ∩ N ⊆ M' ∩ N. ----- coq 証明 a) Theorem math_1_1_exp_4a1: forall (M N:Ensemble M), M ∪ (…
現代数学概説Ⅰ 1章 $1 例題4 以下a)b)c)を示せ。 a) M ∪ (M ∩ N)=M, M ∩ (M ∪ N) = M. b) M ⊆ N <-> M = M ∩ N <-> N = M ∪ N. c) M ⊆ M' <-> M ∪ N ⊆ M' ∪ N, M ∩ N ⊆ M' ∩ N. ----- coq 証明 a) Theorem math_1_1_exp_4a1: forall (M N:Ensemble M), M ∪ (…
