题所包含的可能情况为有限种，否则无法一一罗列。
换质位法.在谓词逻辑里，若同时否定一个命题的主词和谓词，则其结果称为原命题的换质。若交换主词和谓词的位置，则其结果被称作换位。先换质再换位则被称为换质位，同理先换位再换质则被称为换位质。例如“所有的S是P”的换质位是“所有的不是P的不是S”。是指利用换质及换位，将一个命题改为一个与其逻辑等价的命题，因此只要证明了后者就证明了原来的命题。例如，要证明鸽笼原理：“如果n个鸽笼里装有多于n只鸽子，那么至少有一个笼子里有两只或者两只以上鸽子”