研究社新英和大辞典 ページ 213972 での【・⇒predicate logic.】単語。