量化子

述語論理の講義で、存在量化子と全称量化子の使い分けについて学んだ。

数学的命題を厳密に記述する際、適切な量化子を置くことが不可欠だ。

この論理式では、量化子のスコープが文全体に及んでいる。