***讲授新课***
1. 全称量词:
短语“对所有的”“对任意一个”在逻辑中通常叫做全称量词.符号:
全称量词相当于日常语言中“凡”,“所有”,“一切”,“任意一个”等;
全称命题: 含有全称量词的命题. 符号:xM,p(x)
读作:对任意x属于M,有p(x)成立。