onomamea3038 https://blog.hatena.ne.jp/onomamea3038/ 日本語の「は」と「が」について。 https://onomamea3038.hatenablog.com/ 論理 （01） 「二項述語における量記号の変換の規則」により、 ① ∀ｙ∀ｘ（Ｆｘｙ）＝（Ｆａａ＆Ｆｂａ＆Ｆｃａ）＆（Ｆｂｂ＆Ｆａｂ＆Ｆｃｂ）＆（Ｆｃｃ＆Ｆａｃ＆Ｆｂｃ） ② ∃ｙ∀ｘ（Ｆｘｙ）＝（Ｆａａ＆Ｆｂａ＆Ｆｃａ）∨（Ｆｂｂ＆Ｆａｂ＆Ｆｃｂ）∨（Ｆｃｃ＆Ｆａｃ＆Ｆｂｃ） ③ ∀ｘ∃ｙ（Ｆｘｙ）＝（Ｆａａ∨Ｆａｂ∨Ｆａｃ）＆（Ｆｂｂ∨Ｆｂａ∨Ｆｂｃ）＆（Ｆｃｃ∨Ｆｃａ∨Ｆｃｂ） ④ ∃ｘ∃ｙ（Ｆｘｙ）＝（Ｆａａ∨Ｆａｂ∨Ｆａｃ）∨（Ｆｂｂ∨Ｆｂａ∨Ｆｂｃ）∨（Ｆｃｃ∨Ｆｃａ∨Ｆｃｂ） に於いて、 ① は、② を「含意」し、 ② は、③ を「含意」し、 ③ は、④ を「含意」する。 従って、 （… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fonomamea3038.hatenablog.com%2Fentry%2Fd7c422b1bccbeb1817ba8ee03b449ce8" title="（239）「二項述語における量記号の変換の規則（Ⅲ）」 - 日本語の「は」と「が」について。" 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 2019-05-28 09:46:55 rich https://onomamea3038.hatenablog.com/entry/d7c422b1bccbeb1817ba8ee03b449ce8 1.0 100%