m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 証明シェル 半形式証明スクリプト 具体例 途中までだ。A⊆N が、次の3つの性質を持つとする。 Aは空ではない ---(1) n∈A ⇒ -n∈A ---(2) n, m∈A ⇒ n+m∈A ---(3) このとき、非負整数kがあって、 n∈A ⇔ nはkの倍数 ---(4) 上のパラグラフをまとめると、 $(1)∧$(2)∧$(3) ⇒ ∃k st 非負整数.$(4) しかし、条件は全称が付いているはずだから、 Aは空ではない ---(1) ∀n:N. n∈A ⇒ -n∈A ---(2) ∀n, m:N. n, m∈A ⇒ n+m∈A ---(3) また、自由変数AはPow(N)を走るので、 ∀A st A⊆N.( $(1)∧$(2… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20180523%2F1527053902" title="加法閉な対称集合は、倍数集合である - (保存用) 檜山正幸のキマイラ飼育記 メモ編" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2018-05-23 14:38:22 rich https://m-hiyama-memo.hatenablog.jp/entry/20180523/1527053902 1.0 100%