研究社新英和大辞典 ページ 185047 での【論理命題集・集合算における】単語。