研究社新英和大辞典 ページ 200961 での【記号論理学 (symbolic logic】単語。