是离散数学中,数理逻辑里的符号.倒过来的A称为全称量词,用来表达"对所有的"、"每一个"、"对任一个"等;反方向的E称为存在量词,用来表达"存在一些"、"至少有一个"、"对于一些"等.
任意