【命題と論理】【命題関数と限定記号】

命題関数：集合Aのすべてのxに対して必ずp(x)の真偽が確かめられる命題

全称記号：∀、すべての

限定記号：∃、存在する

限定する変数の順序を入れ替えると、命題の意味が同じになるとは限らない