本节主要内容是存在性问题.
存在性问题有三种：
第一类是肯定性问题, 其模式为“已知A, 证明存在对象B, 使其具有某种性质”.
第二类是否定性问题, 其模式为“已知A, 证明具有某种性质B的对象不可能存在”.
第三类是探索性问题, 其模式为“已知A, 问是否存在具有某种性质B的对象”.
解决存在性问题通常有两种解题思路. 一种思路是通过正确的逻辑推理(包括直接计算), 证明(或求出)符合条件或要求的对象B必然存在. 常利用反证法、数学归纳法、抽屉原则、计数法等. 另一种思路是构造法. 直接构造具有某种性质B的对象. 常常采用排序原则、极端性原则进行构造.
