在数学中，有很多“若p，则q”形式的命题，有的是真命题，有的是假命题.例如：若 ， 则；（假命题）.这个命题是省略了量词的全称量词命题.