量記号

教科書の演習問題で、全称量記号を適切に使って命題を記述する練習をした。

論理学の論文を読んでいるが、複雑な量記号の並びに頭を抱えてしまった。

この数式において、量記号「∀」はすべての実数に対して成り立つことを示している。