m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 セミナーで受けた質問ですが、一般的な話なので、応答をこちらに書きます。命題を形式化した構文的対象物が論理式です。この論理式の集合を正確に定義するとどうなるのか？ という話です。内容： 用途と論理を決める 基本記号を全部挙げる 構文の定義 項の定義 論理式の定義 論理式の集合 コンテキストに関する注意 用途と論理を決める論理式には、絶対的唯一の定義があると思っている方がいるかも知れませんが、それは誤解です。プログラミング言語が何十何百もあるのはご存知でしょう。プログラミング言語ごとにその構文は違います。同様に、論理式（の言語）も人工言語なので、何十何百もあります。論理式の言語と集合は、使用状況と… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F2019%2F02%2F05%2F165844" title="論理式の集合とは何か？ - 檜山正幸のキマイラ飼育記 (はてなBlog)" 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-02-05 16:58:44 rich https://m-hiyama.hatenablog.com/entry/2019/02/05/165844 1.0 100%