waraby0ginger https://blog.hatena.ne.jp/waraby0ginger/ ゆくゆくは有へと https://iuk.hateblo.jp/ 論理学 lojban 関連 iuk.hateblo.jp いんとろ 形式言語では大体、表示的意味論を使いますよね。つまり、その意味論においては、述語記号はそれを満たすような対象のn-tupleのあつまりとして解釈します。オブジェクトレベルの言語が複数指示系のとき、メタ言語に単指示系を使うなら , 複数指示系を使うなら な n-tuple です。*1 前回の記事でようやく複数指示系の言語の感じが掴めたので、述語の分配性と集団性について考えていくことにします。簡単のため、今回扱う述語は1項述語に絞ります。 ここでちょっと注意なんですが、複数指示系で使われる "and" と "among" が集合（やメレオロジー）の対応… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fiuk.hateblo.jp%2Fentry%2F2016%2F05%2F26%2F032241" title="述語の外延的意味における分配性とか - ゆくゆくは有へと" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> http://chart.apis.google.com/chart?cht=tx&chl=%20%7B%282%5E%7BF_D%7D%29%7D%5En Hatena Blog https://hatena.blog 2016-05-26 03:22:41 rich https://iuk.hateblo.jp/entry/2016/05/26/032241 1.0 100%