来自郭晓疆的问题
在反证法中,如果证明命题P成立.在假设时,是不是假设的非p成立?如果,在命题p中存在一个全称量词,是否在假设时候,把全称量词改作特称量词.比如：对于所有的三角形,至少有一个角小于等于6
在反证法中,如果证明命题P成立.在假设时,是不是假设的非p成立?
如果,在命题p中存在一个全称量词,是否在假设时候,把全称量词改作特称量词.
比如：对于所有的三角形,至少有一个角小于等于60°
反正时候,假设应该怎么写?用不用写成：存在一个三角形.还是写成对于全部的三角形.
