研究社新英和大辞典 ページ 230480 での【1 真理関数《命題変項を独立変数として真理値を値域とする関数》.】単語。