在反证法中,如果证明命题P成立.在假设时,是不是假设的非p成立?如果,在命题p中存在一个全称量词,是否在假设时候,把全称量词改作特称量词.比如：对于所有的三角形,至少有一个角小于等于6

　　在反证法中,如果证明命题P成立.在假设时,是不是假设的非p成立?

　　如果,在命题p中存在一个全称量词,是否在假设时候,把全称量词改作特称量词.

　　比如：对于所有的三角形,至少有一个角小于等于60°

　　反正时候,假设应该怎么写?用不用写成：存在一个三角形.还是写成对于全部的三角形.