morita_non https://blog.hatena.ne.jp/morita_non/ memo https://morita-non.hatenadiary.org/ だんだん面倒くさくなってきた。 述語論理における解釈(interpretation)、すなわち述語記号と定数記号を含む関数記号の解釈のことを構造(structure)と呼ぶことがある。 述語論理における構造は、領域と呼ばれる空でない集合、定数記号を含む関数記号の解釈、述語記号の解釈から成り立つ。 構造Iの領域はそれぞれの変数の領域となる。ここでは簡単のため、変数の領域は変数によらず、同じとして、Uで表し、Uは空集合でないものとする。 それぞれの定数記号は集合Uの要素によって解釈される。 関数記号は、そのアリティがnのとき、 → U に属する関数によって解釈される。 構造Iによる関数記号fの解釈… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmorita-non.hatenadiary.org%2Fentry%2F20140309%2F1394348800" title="意味論 - memo" 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 2014-03-09 16:06:40 rich https://morita-non.hatenadiary.org/entry/20140309/1394348800 1.0 100%