所谓反证法,就是从否定结论出发,经过逻辑推理,导出矛盾,证实结论的否定是错误的,从而肯定原结论是正确的这样一种证明方法.要证不等式M>N,先假设___________,由题设及其他性质,推出矛盾,从而肯定M>N成立,这种证明方法叫做反证法.?

      

下列叙述中正确的是（   ）

①反证法原理是在假设下，如果推出一个矛盾，就证明不成立.

②独立性检验原理是在假设下，如果出现一个与相矛盾的小概率事件，就推断不成立，且该推断犯错误的概率不超过这个小概率.

③三段论可以表示为：大前提：M是P.小前提：S是M.结  论：S是P.

④流程图常常用来表示一些动态过程，通常会有一个 “起点”，一个或多个“终点”.程序框图是流程图的一种.

A．①②③            B．①②④           C．②③④           D．①②③④