m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 教育 論理 数学の命題記述で、全称限量が省略される。ちゃんと書くと： ∀a, b∈R.( (a + b)2 = a2 + 2ab + b2 ) ∀x∈R.( x2 ≧ 0 ) ∀x∈Z.( x ≧ 0 ∨ -x ≧ 0 ) この限量子省略が曖昧性に繋がり、コミュニケーションに失敗することがある。変数の変域が明示されてないと解釈が食い違うことがあるし。単なる等式だけだと、「例外なくすべて」が強調されない。定理の命題の多くは含意を含む。 ∀a, b, c∈N.(a≦b ∧ b≦c ⇒ a≦c) ∀a∈R.(a≧0 ⇒ ∃x∈R.(x2 = a)) ∀x, y, z∈Z.(yはxの倍数 ∧ zはyの倍数 ⇒ z… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20180613%2F1528868387" 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-06-13 14:39:47 rich https://m-hiyama-memo.hatenablog.jp/entry/20180613/1528868387 1.0 100%