针对B其他几种特殊的形式，对于这些形式也有几种常用的和有效的证明方法

唯一性法

• 不仅要求证明存在还要求证明唯一性
• 两种思路：
  • 假设有两个事物具有这种性质并使这件事情发生，然后利用所说的性质和所发生的事情或许还有A中的信息去断定这两个事物就是同一个。
  • 假设有两个事物具有这种性质并使这件事情发生，然后利用所说的性质和所发生的事情或许还有A中的信息去推出一个矛盾。

互斥法

• 或者C是真的，或者D是真的。
• 两种思路：
  • 假设A是真的，C是假的，然后推出D是真的
  • 假设A是真的，D是假的，然后推出C是真的

极大极小法

• 处理极大极小值关系
• 转化为全称量词或存在量词的情况用选择构造矛盾法