ブール値関数の基礎事項をまとめる。$`\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}} …