2024-03-01から1ヶ月間の記事一覧
次の2つのタイプの発言を考える。 ~ は成立するぞ。 ~ は成立しないぞ。 「~」の部分は、等式・不等式などの命題。構文をキチンと約束すれば「~」の部分は論理式だとしてよい。$`\newcommand{\mrm}[1]{\mathrm{#1}}`$発言の定式化〈数理モデリング〉とし…
全称限量子が関数と思えないのはなぜか? 「限量子が関数なわけない」という思い込みもあるだろうが、独特な呼び名と書き方が大きな原因だろう。呼び名・書き方は習慣・伝統だから変えられない。が、個人・集団内で、一時的に変えるのは自由だ。フルスペルで…
ブール値関数の基礎事項をまとめる。$`\newcommand{\mrm}[1]{\mathrm{#1}} \newcommand{\hyp}{\text{-} } \newcommand{\id}{\mathrm{id}} \newcommand{\In}{\text{ in } } \require{color} % 緑色 \newcommand{\Keyword}[1]{ \textcolor{green}{\text{#1}} …
どんな分野でも固有の歴史と文化があるから、分野固有の用語を変えることは(ほぼ)出来ない。が、翻訳することはできる。以下、ブール値とは、「true としての 1 または false としての 0」のこと。 論理の方言 普通の言い方 述語〈predicate〉 ブール値の…
ほんとに基本的なんだけど、納得も利用もなかなかに難しいようだ。が、ほんとに基本的なんだから納得してくれ。ほんとに基本的な同型による対応は、場合により同一視に使われる。$`\newcommand{\mrm}[1]{ \mathrm{#1} } \newcommand{\In}{\text{ in }} \newc…