m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 2018 Mx 用語法 多義語 論理 http://d.hatena.ne.jp/m-hiyama-memo/20181102/1541141733の最後の余談を敷衍する。domain of discourse の訳語に論域を使う。すると、命題関数の域は論域となる。「論域＝命題関数の域」で事情が少しハッキリする。シーケントにおける自由変数の指定は、論域の指定なので、命題関数が定義される準備ができる。命題と命題関数を区別しろ言われても無理があるので、 確定命題： 他の情報なしでも真偽が二値で確定する命題 命題関数： 論域の値ごとに真偽が二値で確定する命題 命題：確定命題または命題関数。ただし、確定命題も論域が単元集合である命題関数。… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20181102%2F1541145521" 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-11-02 16:58:41 rich https://m-hiyama-memo.hatenablog.jp/entry/20181102/1541145521 1.0 100%