m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 論理 Mx 2018 用語法 ダメ出し ずーーっと、用語法の整理、使える用語／使えない用語の選別をしている。酷い状況であることはもちろん承知はしていたが、作業してみると、その酷さをまざまざと実感する。命題を表す変数を「命題変数」と呼びたいが、「命題変数」は命題論理 -- コンテキストの領域が自明か、または領域を無視する論理 -- の命題“定数”の意味で使われている。 命題変数とは、命題論理の定数（基本記号）のこと はぁー、頭痛い。命題総称の場合の変数は「命題パラメータ」と呼ぶしかない。幸いに総称では「パラメータ」を使う場合が多いから、不自然ではない。しかし、命題変数＝定数 と命題パラメータの違いを説明する手間が増えるし、命題変数＝定… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20181124%2F1543024405" 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-24 10:53:25 rich https://m-hiyama-memo.hatenablog.jp/entry/20181124/1543024405 1.0 100%