分析法

一般地，从要证明的结论出发，逐步寻求使它成立的充分条件，直至最后，把要证明的结论归结为判定一个明显成立的条件(已知条件、定理、定义、公理等)，这种证明的方法叫做________．

用Q表示要证明的结论，则分析法可用框图表示为：