假设命题为真,用其中的几个条件计算另外的一个条件,如果计算出多个条件或与假设条件不符,则为假命题,若与条件相符即为真命题；另,如果可以直接举例证明命题不成立,依然可以证明其为假命题